regress/parser/smt2perr206.smt2:1:24: expected string argument to option 'bv-solver'