Implements more specific predicates for memory references.