从表达式中引入一个新的变量。