regress/parser/smt2perr134.smt2:1:12: missing '(' before '(_'