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