Branching and Conditionals Integration | Alloy Automation