Hi,

The TypedVar::toString() method seems to be incorrect for indexed identifiers. For example, the SMT standard specifies the type of 32-bit bitvectors be as (_ Bitvec 32), but the current implementation seems to yield (Bitvec 32) instead.

Thanks!