regress/parser/smt2perr139.smt2:1:11: missing '(' before '(_'