regress/parser/smt2perr066.smt2:2:10: unexpected function application, 'expression' is not a function