See [Why is ignoreAllocHeapDefs always set to true in AstModVisitor.makeModVisitor but changeable in ModRef.makeModVisitor?](https://groups.google.com/forum/#!topic/wala-sourceforge-net/-XdUwyUD2Ho)
