regress/parser/smt2perr152.smt2:2:1: missing '('