removed redundant include of symbolTable in minimizer.c