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