Fix smtlib2 encoding of negative bitvectors
Optimize constant concat calls