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