let fresh_var_in_pred prop_in_data v p =
  let v' = fresh_var v in
  let p = subst_in_pred prop_in_data v (Tvar v') p in
    v', p