We statically established the statement in the synopsis line above.
This allowed for some simplification in the cache filling code:
the code to skip over NULL regions could be dropped entirely
and replaced by an assertion that a NULL was never encountered
in the _markedRegionsArray. This allowed some further simplifications,
see Suggested Fix section. We also deleted some unused methods (dead code).
The code was tested with JPRT and refworkload.