| digraph VariableEqualsVariable { | |
| node1 [label="Start", color="#2e3436"] | |
| node3 [label="a = 1, b = 1", color="#2e3436"] | |
| node4 [label="Exclusive Choice", color="#2e3436"] | |
| node5 [label="c = 1", color="#2e3436"] | |
| node6 [label="Simple Merge", color="#2e3436"] | |
| node2 [label="End", color="#2e3436"] | |
| node7 [label="c = 0", color="#2e3436"] | |
| node1 -> node3 | |
| node3 -> node4 | |
| node4 -> node5 [label="a == b"] | |
| node4 -> node7 [label="a != b"] | |
| node5 -> node6 | |
| node6 -> node2 | |
| node7 -> node6 | |
| } |