完成Hyperblock跟逆向if-conversion