let is_term_instance ?(p_preserving: bool = false)
    (instance: term) (general: term) : bool =
  is_term_generalization ~p_preserving:p_preserving general instance