Add preliminary support for getModRefInfo(), which turns out to greatly
affect many AliasAnalysis clients.
More support should be added, and the const-correctness of GraphBuilder
should be fixed.