Hi, I think I can understand what you mean. Ideally, I totally agree, but the reality is that there are still some multiple When-Then in some scenarios for BDD-based AC.