object
  method clauses : Reasoner.clause list
  method of_fact : Plugin.term -> 'a option
  method owns : term -> bool
  method signature : ty Libzipperposition.ID.Map.t
  method to_fact : 'a -> Plugin.term
end