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