Ensure that the symbol table is taken down at end of func def