The BTA is implemented by two modules:BTA1 and BTA2.The purpose is to reduce redundant computation and raise the efficiency of partial evaluation.

• 该部分求值器的BTA由两个部分来实现：BTA1和BTA2，其目的是减少重复计算，提高部分求值的执行效率