第四段階： break/continueを復元する

n breakまたはcontinue で表せるエッジを変換

1

if(emergency())break;

空

• if文を持つノード４はノー ド３をドミネートしない。

3

4

空

if(tired())ノード６ else ノード７

play()

• ノード５はノード２をドミネー トしないが、ループ末尾。

6

7