object val mutable exported : 'a option val mutable wptasks : (Cil2cfg.t * WpAnnot.strategy list) list method add : Cil2cfg.t -> WpAnnot.strategy list -> unit method compute : Wpo.t list end