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