Bugfixes on SymbolTable variable push (#34)