Make ModRefBehavior a lattice. Use this to clean up AliasAnalysis