Das böse Java-if if ( A || B ) { ... } else if ( A ) { // dieser Block wird nie ausgeführt } Die Reihenfolge der Blöcke / Bedingungen hat Einfluß auf die Semantik, Die Bedingungen können nicht-disjoint sein.