private bool predicate(Token t) { if ((t.getType() == (int)LogicTokenTypes.PREDICATE)) { return true; } else { return false; } }