let subst_vars_in_predicate var_subst p =
  subst_vars_in_pred (fun _ -> assert false) var_subst p