testcase and symboltable complete