Class type CfgProof.computer


class type computer = object .. end

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