log/smt2perr084.smt2:1:10: only one argument to 'distinct'