Adds the (rather costly) predicate to handle Until

1 files changed, 14 insertions, 0 deletions

diff --git a/cfg-to-paths/src/Main.java b/cfg-to-paths/src/Main.java
index f49a357..481d53f 100644
--- a/cfg-to-paths/src/Main.java
+++ b/cfg-to-paths/src/Main.java
@@ -100,6 +100,20 @@ public class Main
       for (int i = 1; i < tuple_size; ++i)
       {
          out.write("(contains_node " + id + " " + tuple.get(i) + ")\n");
+
+         for (int j = (i + 1); j < tuple_size; ++j)
+         {
+            out.write
+            (
+               "(is_before "
+               + id
+               + " "
+               + tuple.get(i)
+               + " "
+               + tuple.get(j)
+               + ")\n"
+            );
+         }
       }
    }
 }