4 n2 [ shape=octagon, label="a", color="black", fontcolor="black" ];
5 n3 [ shape=octagon, label="b", color="black", fontcolor="black" ];
6 n4 [ shape=octagon, label="c", color="black", fontcolor="black" ];
7 n5 [ shape=octagon, label="sum", color="black", fontcolor="black" ];
8 c9 [ shape=record, label="{{<p6> A|<p7> B}|$1\n$add|{<p8> Y}}" ];
9 c10 [ shape=record, label="{{<p6> A|<p7> B}|$2\n$add|{<p8> Y}}" ];
10 c9:p8:e -> c10:p6:w [color="black", style="setlinewidth(3)", label=""];
11 n2:e -> c9:p6:w [color="black", style="setlinewidth(3)", label=""];
12 n3:e -> c9:p7:w [color="black", style="setlinewidth(3)", label=""];
13 n4:e -> c10:p7:w [color="black", style="setlinewidth(3)", label=""];
14 c10:p8:e -> n5:w [color="black", style="setlinewidth(3)", label=""];