Alias property propagation and reuse after variable scope change | IEEE Conference Publication | IEEE Xplore