JL刚刚写的一篇autotrace与bind variables 的行为：Autotrace trick
之前我们也发现过这个问题具体SR在这里：something seems confused