All mem-region must be covered before calling this method.

Change the if-check to assert in the callee.