minor edits
Merge branch 'int-opt'
update optimize file
Merge branch 'int-opt'
adds code for smt bit width optimizations
Comments added