Fixes some intricate cases of Escape Analysis