| digraph ExclusiveChoiceWithUnconditionalOutNodeSimpleMerge { |
| 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"] |
| node7 [label="z = <true>", color="#2e3436"] |
| |
| node1 -> node3 |
| node3 -> node4 [label="condition is true"] |
| node3 -> node6 [label="condition is false"] |
| node3 -> node7 |
| node4 -> node5 |
| node5 -> node2 |
| node6 -> node5 |
| node7 -> node5 |
| } |
