regress/parser/smt2perr151.smt2:1:9: unexpected 'Bool'