regress/parser/smt2perr138.smt2:1:9: missing '(' before '(_'