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