public void accept(@NotNull ResVisitor visitor) {
   visitor.visitChangingClause(this);
 }
 public void accept(@NotNull ResVisitor visitor) {
   visitor.visitSelectorExp(this);
 }
 public void accept(@NotNull ResVisitor visitor) {
   visitor.visitMathStandardDefnDecl(this);
 }