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