Remove unused symboltable.js.
Remove dead code.