Simplify deduceTypes for IfThenElse.