one memory node can represent multiple memory locations, and we can use a pre-analysis to merge memory nodes in an online fashion