解释者:SMT上的价值流动