nitta-lab:master
nitta-lab:correctObjectFlow
例えば, フィールドアクセス時に最終更新に飛ぶパターンとそのまま遡るパターンとで分岐するが, そのまま遡る場合で結局仮引数に当該エイリアスがなかった場合は, それ以上の追跡を止めると同時に当該リストを消去するなど.