@Override public void enterRule(ParseTreeListener listener) { if (listener instanceof CTLListener) ((CTLListener) listener).enterNOT(this); }