dot`digraph G {
"14: map (not)" -> "13: map (==)"
"13: map (==)" -> "3: where (op: <=)"
"3: where (op: <=)" -> "1: literal (width: 2)"
"3: where (op: <=)" -> "2: constant (2)"
"13: map (==)" -> "6: where (op: <=)"
"6: where (op: <=)" -> "4: literal (width: 2)"
"6: where (op: <=)" -> "5: constant (2)"
"22: map (and)" -> "16: map (not)"
"16: map (not)" -> "15: map (==)"
"15: map (==)" -> "6: where (op: <=)"
"6: where (op: <=)" -> "4: literal (width: 2)"
"6: where (op: <=)" -> "5: constant (2)"
"15: map (==)" -> "9: where (op: <=)"
"9: where (op: <=)" -> "7: literal (width: 2)"
"9: where (op: <=)" -> "8: constant (2)"
"22: map (and)" -> "21: map (and)"
"21: map (and)" -> "18: map (not)"
"18: map (not)" -> "17: map (==)"
"17: map (==)" -> "3: where (op: <=)"
"3: where (op: <=)" -> "1: literal (width: 2)"
"3: where (op: <=)" -> "2: constant (2)"
"17: map (==)" -> "9: where (op: <=)"
"9: where (op: <=)" -> "7: literal (width: 2)"
"9: where (op: <=)" -> "8: constant (2)"
"21: map (and)" -> "20: map (not)"
"20: map (not)" -> "19: map (==)"
"19: map (==)" -> "6: where (op: <=)"
"6: where (op: <=)" -> "4: literal (width: 2)"
"6: where (op: <=)" -> "5: constant (2)"
"19: map (==)" -> "12: where (op: <=)"
"12: where (op: <=)" -> "10: literal (width: 2)"
"12: where (op: <=)" -> "11: constant (2)"
}`