Implemented correct error handling of symbol redefinition and first set unsatisfied errors.