Now checks for improperly redefined names.