Check whether a region is made of contiguous values in memory.
A region is contiguous if and only if:
i
M-1
front[i]
back[i]
M