sig
  val terms : Ast_ho.t -> Ast_ho.term Sequence.t
  val vars : Ast_ho.t -> Libzipperposition.STerm.var Sequence.t
end