制御フローグラフ
グラフを深さ優先探索したときに、上位のノードに戻るようになっているエッジ