remove If and Goto in CFG