public override void PostWalk(AssertStatement node) { }
// AssertStatement public override bool Walk(AssertStatement node) { return(false); }
// AssertStatement public virtual bool Walk(AssertStatement node) { return(true); }
public virtual void PostWalk(AssertStatement node) { }
// AssertStatement public override bool Walk(AssertStatement node) { return(Contains(node)); }