regress/parser/smt2perr200.smt2:2:12: invalid annotation syntax, expected term