When true, SimplifyCFG requires a dominator tree and preserves it.
Declared in <llvm/Transforms/Utils/Local.h>
<llvm/Transforms/Utils/Local.h>
extern cl::opt<bool> RequireAndPreserveDomTree;