Class type CfgProof.computer


class type computer = object .. end

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