Investigate window interval behavior
When !39 (merged) is done, we should look into tests such as rl_get_store.c
: the store is within the window but outside of the MPI_Get
's range.
The instrumentation detects an error but it may actually be fine.
We should definitely investigate what's up with the interval intersection thing.