逆向if-conversion大部分完成，还差算法没有输入