制御フローグラフ
グラフの制御の出口となるブロック