functor (T : ForwardsTransfer) -> sig val reachedStatement : Cil_types.stmt -> Cil_types.stmt -> T.t -> unit val compute : Cil_types.stmt list -> unit val worklist : Cil_types.stmt Queue.t end