using bit vector functions
Merge branch 'int-opt'
adds code for smt bit width optimizations