diff --git a/hercules_ir/src/ir.rs b/hercules_ir/src/ir.rs
index 846347b0cec605fc2485ae9b847213e2783d37b8..5c575ea1dded3ec314f6d5d9aa8deed025e6d532 100644
--- a/hercules_ir/src/ir.rs
+++ b/hercules_ir/src/ir.rs
@@ -1857,7 +1857,7 @@ pub fn indices_may_overlap(indices1: &[Index], indices2: &[Index]) -> bool {
  * list of indices B.
  */
 pub fn indices_contain_other_indices(indices_a: &[Index], indices_b: &[Index]) -> bool {
-    if indices_a.len() < indices_b.len() {
+    if indices_a.len() > indices_b.len() {
         return false;
     }
 
diff --git a/juno_samples/fork_join_tests/src/gpu.sch b/juno_samples/fork_join_tests/src/gpu.sch
index 80f1bbc9e1e6ec78a6f9c77909d084b068c37aa0..0647d7816cbfc98447b3ad129b5f0a3dc58e08b3 100644
--- a/juno_samples/fork_join_tests/src/gpu.sch
+++ b/juno_samples/fork_join_tests/src/gpu.sch
@@ -28,5 +28,6 @@ fixpoint panic after 20 {
   infer-schedules(*);
 }
 
+xdot[true](*);
 float-collections(test2, out.test2);
 gcm(*);