Simplify code in deduceTypes of IfThenElse.
Insert conversion nodes into IfThenElse branches.