sig
  type t
  val relate :
    Cil_types.kernel_function ->
    Base.Hptset.t -> Abstract_domain.Recycle.t -> Base.SetLattice.t
  val filter :
    Cil_types.kernel_function ->
    [ `Post | `Pre ] ->
    Base.Hptset.t -> Abstract_domain.Recycle.t -> Abstract_domain.Recycle.t
  val reuse :
    Cil_types.kernel_function ->
    Base.Hptset.t ->
    current_input:Abstract_domain.Recycle.t ->
    previous_output:Abstract_domain.Recycle.t -> Abstract_domain.Recycle.t
end