regress/parser/smt2perr199.smt2:3:47: invalid annotation syntax, expected attribute