let update_action vi1 vi2 action = List.map (fun (lv,t) -> change_var_lval vi1 vi2 lv, change_var_term vi1 vi2 t) action