object
  val mutable exported : 'a option
  val mutable wptasks : WpStrategy.strategy list list
  method add : WpStrategy.strategy list -> unit
  method compute : Wpo.t list
end