regress/parser/smt2perr084.smt2:1:10: expected at least 2 arguments to 'distinct', got 1