From bb0ac1d06dbc3e89da6fab9157df29ae4ae8b967 Mon Sep 17 00:00:00 2001
From: Luca Framba <framba@fbk.eu>
Date: Tue, 17 Oct 2023 17:15:49 +0200
Subject: [PATCH] test_push

---
 unified_planning/model/walkers/state_evaluator.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/unified_planning/model/walkers/state_evaluator.py b/unified_planning/model/walkers/state_evaluator.py
index 1be788e19..36dee839f 100644
--- a/unified_planning/model/walkers/state_evaluator.py
+++ b/unified_planning/model/walkers/state_evaluator.py
@@ -55,6 +55,7 @@ def evaluate(
         r = self.walk(expression)
         self._variable_assignments = None
         self._exp = expression
+        print("AAAAAAAAAAAAAA", self._exp)
         assert r.is_constant()
         return r