制御フロー解析における「支配(Dominance)」の関係において、ノードAがノードBを支配するとはどういう状態か。

支配関係の特定は、特定のノード(コード箇所)を実行するために必ず通らなければならないチェックポイントを知るために用いられる。