Added destructor (deletes SymbolTable pointer)