object
  method capture : F.var list -> unit
  method has_var : F.var list -> bool
  method pretty : Format.formatter -> unit
  method subst : F.var -> Formula.abstract F.term -> unit
end