.

wcfs/internal/xbtree/treediff.go

@@ -671,7 +671,7 @@ ABcov:
 						// ac can be skipped if key coverage stays the same
 						ar := KeyRange{ac.lo, ac.hi_}
 						br := KeyRange{bc.lo, bc.hi_}
-						if ar == br /*XXX temp to fail*/|| true {
+						if ar == br {
 							// adjust trackSet since path to the node could have changed
 							apath := ac.Path()
 							bpath := bc.Path()

wcfs/internal/xbtree/δbtail_test.go

@@ -1699,6 +1699,9 @@ func TestΔBTail(t *testing.T) {
 		// ----//---- found by AllStructs
 		"T1,3/B0:d-B1:a-B3:d,4:g",
 		"T1,4/B0:e-B1:a-B4:c",
+		// ----//---- found by AllStructs
+		"T2,4/T-T-T/T1-T-B4:f/T-T-B3:f/B0:h-B1:f",
+		"T4/T-T/B3:f-T/B4:a",