regress/parser/smt2perr198.smt2:2:10: invalid annotation syntax, expected at least 3 arguments, got 1