Why does PartialAlias have anything to do with arguments or globals? We should return PartialAlias when we know that the two pointers partially overlap. http://reviews.llvm.org/D5243