log/smt2perr082.smt2:2:10: argument 2 of 'distinct' is an array but first argument not