checks for all redefinitions in symbol table now