let subst_in_predicate x exp p =
  let var_subst v = if eq_var v x then Some exp else None in
    subst_vars_in_predicate var_subst p