added additional headers and made sure that the symboltable is passed correctly