private String generateVariableName(int element)
	{
		if(symbolTable.get(element).getType() == CopperElementType.SPECIAL)
		{
			if(element == spec.getEOFTerminal()) return "EOF";
			else if(element == spec.getStartNonterminal()) return "START";
			else if(element == spec.getStartProduction()) return "STARTP";
			else return null;
		}
		else if(symbolTable.getParser(spec.parser).isUnitary())
		{
			return symbolTable.get(element).getName().toString();
		}
		else
		{
			return symbolTable.getGrammar(spec.owners[element]).getName().toString() + "$" + symbolTable.get(element).getName().toString(); 
		}
	}