group_overlapping_writes: compute overlap with respect to innermost loop