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