6.8.1.2 Case 2: If-Else

Here two branch modules are used: an If and an Else. The If branch checks is x is 1 and prints a message. If this branch fails, the Else module (with blank Condition) prints a message saying x is not 1.