Small changes to Control.g and SymbolTable.java