let
change_var_lval vi1 vi2 lv =
Visitor
.visitFramacTermLval (
new
change_var vi1 vi2) lv