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