regress/parser/smt2perr108.smt2:2:17: expected bit-vector term at index 0 as argument to 'concat'