```a ^ b ^ (a & b)``` should be decompiled as ```a|b```
a ^ b ^ (a & b)should be decompiled asa|b