public override void AcceptVisitor(IGrammarVisitor visitor, IStep step) { visitor.SetVerification(this, step); }