第一段階：　ヘッダを識別する

1

n ツリーを探索する。

gotoLab()

空

ループヘッダ バックエッジ ６→２，７→２

空

3

4

空

study()

７→２はバックエッジ ノード２はループヘッダ

6

7