Strategy.heuristic
method id : string
method title : string
method descr : string
method search : ( strategy -> unit ) -> Wp__Conditions.sequent -> unit