- BugFix: assure out edges are valid (may be invalid even if dominance is valid!)