Small bug fixes, and SMT1 output.
Fixed IfElse bug with ints.