diff --git a/juno_samples/fork_join_tests/src/cpu.sch b/juno_samples/fork_join_tests/src/cpu.sch
index 71a6eb928fd54afd7f6e79e41f1f611bda8ed5ca..df1b034589d79831bf5041df437c0e9ad1656e38 100644
--- a/juno_samples/fork_join_tests/src/cpu.sch
+++ b/juno_samples/fork_join_tests/src/cpu.sch
@@ -98,14 +98,11 @@ dce(auto.test8);
 no-memset(test9@const);
 
 fork-split(auto.test10);
-xdot[true](auto.test10);
 fork-fission-reduces(auto.test10);
 dce(auto.test10);
-xdot[false](auto.test10);
 dce(auto.test10);
 simplify-cfg(auto.test10);
 dce(auto.test10);
-xdot[true](auto.test10);
 
 fork-split(auto.test10);