[Decaf] PP4: optimize the symbol table.