object
  method add : WpStrategy.strategy list -> unit
  method compute : Wpo.t list
end