updated assumptions of escape analysis, only arrays may alias