@Override
	public void dumpTerminals()
	{
		int i = 0;
		finalOutputStream.print("===== TERMINALS =====\n");
		for(Terminal t : grammar.getT())
		{
			finalOutputStream.print("[" + i + "]" + t + " ");
			if(!grammar.getDisplayName(t.getId()).equals(t.getId().toString())) finalOutputStream.print("(" + grammar.getDisplayName(t.getId()) + ") ");
			numbering.put(t,i++);
			if(i % TERMINALS_PER_LINE == 0) finalOutputStream.print("\n");
		}
		if(i % TERMINALS_PER_LINE != 0) finalOutputStream.print("\n");
	}