diff --git a/implementation/program-2/problem1.pddl b/implementation/program-2/problem1.pddl
index 1bc2e64d03482d449e3e5aea02a421079bee80f1..f5a2a9ebfd35d703cc711400efccc4cc2590016d 100644
--- a/implementation/program-2/problem1.pddl
+++ b/implementation/program-2/problem1.pddl
@@ -1,27 +1,24 @@
 (define (problem problem1) (:domain program2)
     (:objects
-        assignmentA assignmentA0 assignmentI0 assignmentConst - assignment
-        sumLoop0 - operation
-        varConst varA varI - variable_name
-        valueConst valueA valueI - variable_value
+        assignmentConst assignmentA assignmentA0 assignmentA1 assignmentA2 - assignment
+        sumLoop0 sumLoop1 sumLoop2 - operation
+        varConst varA - variable_name
+        valueConst valueA - variable_value
     )
 
     (:init
         (variable_info varConst valueConst assignmentConst)
         (variable_info varA valueA assignmentA)
-        (variable_info varI valueI assignmentI0)
     )
 
     (:goal (and
         (executed_assingment assignmentConst)
         (executed_assingment assignmentA)
-        (executed_assingment assignmentI0)
         (executed_binary_operation assignmentA assignmentConst sumLoop0 assignmentA0)
-        ; (executed_assingment assignmentI1)
-        ; (executed_binary_operation assignmentA0 assignmentI1 sumLoop1 assignmentA1)
-        ; (executed_assingment assignmentI2)
-        ; (executed_binary_operation assignmentA1 assignmentI1 sumLoop2 assignmentA2)
-        ; (executed_assingment assignmentI3)
-        ; (executed_assingment assignmentX)
+        (executed_assingment assignmentA0)
+        (executed_binary_operation assignmentA0 assignmentConst sumLoop1 assignmentA1)
+        (executed_assingment assignmentA1)
+        (executed_binary_operation assignmentA1 assignmentConst sumLoop2 assignmentA2)
+        (executed_assingment assignmentA2)
     ))
 )
\ No newline at end of file
diff --git a/implementation/program-2/program2.cpp b/implementation/program-2/program2.cpp
index b3b388f567a63035ceb83379f48868c021d3ce5d..ccc35d9bcd6121ee14f0ff532650af3a5d3981bd 100644
--- a/implementation/program-2/program2.cpp
+++ b/implementation/program-2/program2.cpp
@@ -8,7 +8,6 @@ int main()
     {
         a += const_value;
     }
-    int x = a;
-    std::cout << x << std::endl;
+    std::cout << a << std::endl;
     return 0;
 }
\ No newline at end of file