let update_vars_with_cond subst =
  List.map
    (fun state_term ->
      try (List.assoc state_term subst)
      with Not_found -> state_term)