(TTA) Resize the type after transforming to 3-address code to avoid unwanted boolean constant.