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