public int getPREDVAR() { return grammar.getKind(PRED_VAR); }
public int getNEGLIT() { return grammar.getKind(NEG_LIT); }
public int getIDENT() { return grammar.getKind(IDENT); }
public int getINTLIT() { return grammar.getKind(INT_LIT); }
public int getKind(String operatorImage) { final int kind = grammar.getKind(operatorImage); return kind; }