regress/parser/smt2perr130.smt2:1:16: missing '(' before '_'