Xazax-hun wrote: One last question, I am sort of wondering if working on a CFG with `AC.getCFGBuildOptions().setAllAlwaysAdd();` would make this simpler. Would that have the properties we want? https://github.com/llvm/llvm-project/pull/153661