Как и обещал, визуализация кода. Тут видно, что опциональная группировка может иметь несколько сценариев. При этом все из них могут быть не удовлетворены, и тогда не один из сценариев не будет выполнен.