basic port to new smtlib and bit vectors