Member predicate MemoryLocation0::canDefineReadOnly

Holds if a definition of this location can be the definition of a read-only use location.