sig
  val fresh_actlit : unit -> UfSymbol.t
  val fresh_actlit_count : unit -> int
  val reset_fresh_actlit_count : unit -> unit
  val term_of_actlit : UfSymbol.t -> Term.t
end