let
change_var_term vi1 vi2 t =
Visitor
.visitFramacTerm (
new
change_var vi1 vi2) t