private VarExprList transformVarExprList(VarExprList varExprList) {
VarExprList varExprList2 = new VarExprList();
for (Var v : varExprList.getVars()) {
// if ( binding.contains(v))
// // Already bound. No need to do anything because the
// // logical assignment will test value.
// continue ;
Expr expr = varExprList.getExpr(v);
expr = expr.copySubstitute(binding);
varExprList2.add(v, expr);
}
return varExprList2;
}
