[pintxo]

This might result in another fallthrough scenario though, wouldn't it?

[vortico]

No, because `c` can't be 1 and 2 at the same time.

[pintxo]

In this specific example. But you cannot rule it out in general.