let subst_in_pred prop_in_data x exp p =
  let var_subst v = if eq_var v x then Some exp else None in
    subst_vars_in_pred prop_in_data var_subst p