* ```
%0:2 = input "a"
%2:2 = input "b"
%4:2 = match %0:2 { [00 01] XX }
%6:2 = match en=%4+0 %2:2 { 10 XX }
%8:2 = match en=%4+1 %2:2 { [00 11] 10 }
%10:0 = output "x" %6:2
%11:0 = output "y" %8:2

%0:2 = input "a"
%2:2 = input "b"
%6:1 = eq { %0+1 %2:2 } 000
%7:1 = eq { %0+1 %2:2 } 100
%8:1 = eq { %0+1 %2:1 } 10
%9:1 = or %6 %8
%10:1 = eq { %0+1 %2:2 } 001
%11:1 = eq { %0+1 %2:2 } 101
%12:1 = eq { %0+1 %2:2 } 111
%13:1 = or %10 %12
%4:0 = output "x" { %7:1 %9:1 }
%5:0 = output "y" { %13:1 %11:1 }
```