log/smt2perr074.smt2:2:10: argument to 'xor' missing