digraph test {
ratio="fill";
node [color="#918194", fillcolor="#f1e1f4", style="filled"];
edge [color="black"];
node1 [label="g", shape="box"];
node2 [label="p", shape="diamond"];
node3 [label="q", shape="diamond"];
entry [fillcolor="white", label="entry", shape="plaintext", style="filled"];
flux_0 [filllcolor="yellow", label=" ", shape="circle", style="filled"];
exit [fillcolor="white", label="exit", shape="plaintext", style="filled"];
node4 [label="h", shape="box"];
flux_1 [filllcolor="yellow", label=" ", shape="circle", style="filled"];
node5 [label="f", shape="box"];
node2 -> node5 [label="Y"];
node2 -> node1 [label="N"];
node3 -> flux_0 [label="N"];
node3 -> flux_1 [label="Y", style=bold, color=red];
node5 -> flux_1;
node1 -> node3;
node4 -> flux_0;
entry -> node2;
flux_0 -> exit;
flux_1 -> node4 [style=bold, color=red];
}