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