これがSSA依存解析なのか。SSAは未使用の変数を探すぐらいに使うものだったと思ってたけど、コントロールフロー内の部分グラフにも適用できるんですね。完全に勘違いしてました...