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