misc: Isolated fixes that only break things in PRO

Author: JDBetteridge

devito/ir/support/basic.py

@@ -438,7 +438,7 @@ def distance(self, other):
 
         # It still could be an imaginary dependence, e.g. `a[3] -> a[4]` or, more
         # nasty, `a[i+1, 3] -> a[i, 4]`
-        for i, j in zip(self[n:], other[n:], strict=True):
+        for i, j in zip(self[n:], other[n:], strict=False):
             if i == j:
                 ret.append(S.Zero)
             else:

devito/ir/support/utils.py

@@ -140,7 +140,7 @@ def detect_accesses(exprs):
     for e in retrieve_indexed(exprs, deep=True):
         f = e.function
 
-        for a, d0 in zip(e.indices, f.dimensions, strict=True):
+        for a, d0 in zip(e.indices, f.dimensions, strict=False):
             if isinstance(a, Indirection):
                 a = a.mapped
 

devito/passes/clusters/buffering.py

@@ -562,7 +562,7 @@ def write_to(self):
         # Analogous to the above, we need to include the halo region as well
         ihalo = IntervalGroup([
             Interval(i.dim, -h.left, h.right, i.stamp)
-            for i, h in zip(ispace, self.b._size_halo, strict=True)
+            for i, h in zip(ispace, self.b._size_halo, strict=False)
         ])
 
         ispace = IterationSpace.union(ispace, IterationSpace(ihalo))