| digraph ExclusiveChoiceWithElseSimpleMerge { | |
| node1 [label="Start", color="#2e3436"] | |
| node3 [label="Exclusive Choice", color="#2e3436"] | |
| node4 [label="x = <true>", color="#2e3436"] | |
| node5 [label="Simple Merge", color="#2e3436"] | |
| node2 [label="End", color="#2e3436"] | |
| node6 [label="y = <true>", color="#2e3436"] | |
| node1 -> node3 | |
| node3 -> node4 [label="condition is true"] | |
| node3 -> node6 [label="! condition is true"] | |
| node4 -> node5 | |
| node5 -> node2 | |
| node6 -> node5 | |
| } |