void IGrammarVisitor.SetVerification(SetVerification setVerification, IStep step) { _stream.SetVerification(setVerification, step); }