Teach memdep to use pointsToConstantMemory to determine that loads