> [...] so it could really be 4 things. We may be missing one. As the code is equivalent to if BLA { ... } else if BAZ { ... } else {

> [...] so it could really be 4 things. We may be missing one. As the code is equivalent to if BLA { ... } else if BAZ { ... } else { ... } I do not see a reason why there should be a branch missing. Of course, there is no reason to believe that there isn't something missing either, but arguing with symmetry does not help.