diff --git a/implementation/program-1/compiler.pddl b/implementation/program-1/compiler.pddl
index 9fc6ef54d632d70d3534a9ae8472fca526692dc3..dac6e97ff518361122ba7b2aae4af5b283805d0e 100644
--- a/implementation/program-1/compiler.pddl
+++ b/implementation/program-1/compiler.pddl
@@ -10,17 +10,22 @@
     )
 
     (:predicates
-        (variable_value ?variable - variable_name ?value - variable_value ?id - id)
+        (variable_value ?variable - variable_name ?value - variable_value ?id - id ?dependency_id - id)
         (operation_executed ?operation_id - operation ?id - id)
+        (dependencies ?id - id)
     )
 
     (:action assignment
-        :parameters (?var - variable_name ?value - variable_value ?operation_id - operation ?id_variable_value - id ?id_assignment - id)
+        :parameters (?var - variable_name ?value - variable_value ?operation_id - operation ?id_variable_value - id ?id_assignment - id ?dependency_id - id)
         :precondition (and
             (not (operation_executed ?operation_id ?id_assignment))
-            (variable_value ?var ?value ?id_variable_value)
+            (variable_value ?var ?value ?id_variable_value ?dependency_id)
+            (dependencies ?dependency_id)
             (= ?id_variable_value ?id_assignment)
         )
-        :effect (and (operation_executed ?operation_id ?id_assignment))
+        :effect (and
+            (operation_executed ?operation_id ?id_assignment)
+            (dependencies ?id_variable_value)
+        )
     )
 )
\ No newline at end of file
diff --git a/implementation/program-1/program1.pddl b/implementation/program-1/program1.pddl
index 76d2cc12d726db389303b61dfd44f6363476af9a..ff0514ad0b791f3764a542a978978dbf908a135e 100644
--- a/implementation/program-1/program1.pddl
+++ b/implementation/program-1/program1.pddl
@@ -3,13 +3,14 @@
         sumAB assignmentA assignmentB assignmentC - operation
         varA varB varC - variable_name
         valueA valueB valueC - variable_value
-        id1 id2 id3 - id
+        id0 id1 id2 id3 - id
     )
 
     (:init
-        (variable_value varA valueA id1)
-        (variable_value varB valueB id2)
-        (variable_value varC valueC id3)
+        (dependencies id0)
+        (variable_value varA valueA id1 id0)
+        (variable_value varB valueB id2 id1)
+        (variable_value varC valueC id3 id2)
     )
 
     (:goal (and