heuristic
method id : string
method title : string
method descr : string
method search : (strategy -> unit) -> Wp__.Conditions.sequent -> unit
Frama-C