[PR ipa/88933] Careful CFG cleanup in IPA-CP function transformation