Generalizing support for more efficient data structures

Enabled ConstPropAnalysis to use MemLocs from other analyses.