逆向if-conversion完成