着目
		n 性質： Javaの制御構造は、それぞれ、ドミネータツ リー上でひとつのサブツリーをなす Javaはブロックが完全な入れ子になる言語 n ドミネータツリーを辿り、制御構造を復元 n 制御構造ごとの復元が可能なので、効率的