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