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
}