Used symboltable in declusechecker.g