regress/parser/smt2perr204.smt2:2:14: invalid annotation syntax, expected attribute