Fixed a test case of Xor(x,y) = 2*AND + OR