Fix for ite of >=64bit wide bitvectors with unconstrained condition.
Merge pull request #21 from pcc/ite-fix

Fix for ite of >=64bit wide bitvectors with unconstrained condition.