incremental changes to memory aliasing