regress/parser/smt2perr109.smt2:2:27: expected bit-vector term at index 1 as argument to 'concat'