digraph Taskflow {
rankdir="LR";
p0x7bc400014030[label="init" ];
p0x7bc400014030 -> p0x7bc400014118;
p0x7bc400014118[label="A" shape=diamond color=black fillcolor=aquamarine style=filled];
p0x7bc400014118 -> p0x7bc400014118 [style=dashed label="0"];
p0x7bc400014118 -> p0x7bc400014200 [style=dashed label="1"];
p0x7bc400014200[label="B" shape=diamond color=black fillcolor=aquamarine style=filled];
p0x7bc400014200 -> p0x7bc400014200 [style=dashed label="0"];
p0x7bc400014200 -> p0x7bc4000142e8 [style=dashed label="1"];
p0x7bc4000142e8[label="C" shape=diamond color=black fillcolor=aquamarine style=filled];
p0x7bc4000142e8 -> p0x7bc4000142e8 [style=dashed label="0"];
p0x7bc4000142e8 -> p0x7bc4000143d0 [style=dashed label="1"];
p0x7bc4000143d0[label="D" shape=diamond color=black fillcolor=aquamarine style=filled];
p0x7bc4000143d0 -> p0x7bc4000143d0 [style=dashed label="0"];
}

