log/smt2perr083.smt2:1:10: arguments to 'distinct' missing