Buggy version of ControlFlowFlattening.