public override void ConsumeHiddenToken(IToken token) { //System.out.println("consume hidden token "+token); if (!InDecision) stats.numHiddenTokens++; }