Something is wrong here. The OPcond/OPcolon should have been handled correctly further up in the switch statement. This is because there's no way at this point to generate a correct rewrite of OPcolon.