The conditions `isUnlocked` and `!isUnlocked` did account for all cases, so any branches after that were unreachable.