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