// 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 ;
}