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