4 n1 [ shape=octagon, label="prod", color="black", fontcolor="black" ];
7 c5 [ shape=record, label="{{<p2> A|<p3> B}|$4\n$mul|{<p4> Y}}" ];
8 c5:p4:e -> n1:w [color="black", style="setlinewidth(3)", label=""];
9 v0:e -> c5:p2:w [color="black", style="setlinewidth(3)", label=""];
10 v1:e -> c5:p3:w [color="black", style="setlinewidth(3)", label=""];