digraph G{
ordering=out;
{rank=same;"1";"2"};
"1"->"2";
{rank=same;"4";"5"};
"4"->"5";
"7"->"5";
"7"->"4";
"6"->"1";
"3"->"6";
"6"->"4";
"3"->"8";
}
Comments:
[erg] This is a reoccurrence of bug 58.
Owner: north
Status: Fixed