[CFG] Tweak "?:" CFG construction to record the unreachable blocks.