1 files changed, 9 insertions, 0 deletions
diff --git a/ast-to-instr/src/Predicates.java b/ast-to-instr/src/Predicates.java
index 9e45cac..9d4c308 100644
--- a/ast-to-instr/src/Predicates.java
+++ b/ast-to-instr/src/Predicates.java
@@ -6,6 +6,15 @@ public class Predicates
       final IDs... params
    )
    {
+      System.out.print("[PRE] (");
+      System.out.print(predicate_name);
+
+      for (final IDs param: params)
+      {
+         System.out.print(" " + param.get_value());
+      }
+
+      System.out.println(")");
       /* TODO */
    }
 }