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