log/smt2perr161.smt2:1:10: argument to 'and' missing