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