log/smt2perr162.smt2:2:19: argument 2 of 'xor' is an array term