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