functor (T : ForwardsTransfer->   sig     val compute : Cil_types.stmt list -> unit     val compute_strategy : Cil_types.stmt list -> Wto_statement.wto -> unit     val compute_worklist : Cil_types.stmt list -> unit   end