sig
  val add : t -> Cil_types.stmt -> unit
  val find : t -> Cil_types.stmt list
  val self : Project.Computation.t
  val fold_fold :
    ('-> t -> '-> 'a) -> ('-> Cil_types.stmt -> 'b) -> '-> '-> 'a
end