Z3 BIF Encoding: Add erlang:xor/2