just a few more xor tests.
fixed unsound xor (now another test fails)
now xor analyzer test passes (not ultimately precise though)