You already have an entry for this in the errata, but I don't think that is correct. The branch you marked as not being able to be reached can be reached if there are multiple null names, see example below:


I think the below branch can never be reached though:

The above can be replaced by:
