リージョン推論アルゴリズム

すべてのRegionに最適に推論ができればスコープをまたぐデータをすべて静的解析できる

ガベージコレクションが不要になる

良し悪しはありそう