アルゴリズム
n
第一段階
i
if
構造以外のヘッダを識別する。
n
第二段階
i
各ヘッダの本体と後続ノードを識別し、制御構
造を選択する。
h
後続ノードは、制御構造外のノードであるから、制
御構造内から外へのエッジの行き先の中から選ぶ。
h
後続ノードは、
break
文の正当な行き先となる。
h
制御構造を決めると
continue
文の正当な行き先
が決まる。