diff --git a/test/test_saf.t b/test/test_saf.t
index d70aeee..42ac40f 100644
--- a/test/test_saf.t
+++ b/test/test_saf.t
@@ -246,12 +246,12 @@ Tests Model ArrayFork:
   $_descending
   
   >Program Print
-  (int.add (int.add $_descending 3) 10)
+  (int.add $_descending 13)
   
   >Program Print
-  (int.add (int.add (int.add $_descending 3) 10) 1)
+  (int.add $_descending 14)
   
-  Returned (int.add (int.add $_descending 3) 10)
+  Returned (int.add $_descending 13)
   Everything Ok!
   
   =====================
diff --git a/test/test_saite.t b/test/test_saite.t
index 8a0c0f1..e07e0da 100644
--- a/test/test_saite.t
+++ b/test/test_saite.t
@@ -182,12 +182,12 @@ Tests Model ArrayITE:
   $_descending
   
   >Program Print
-  (int.add (int.add $_descending 3) 10)
+  (int.add $_descending 13)
   
   >Program Print
-  (int.add (int.add (int.add $_descending 3) 10) 1)
+  (int.add $_descending 14)
   
-  Returned (int.add (int.add $_descending 3) 10)
+  Returned (int.add $_descending 13)
   Everything Ok!
   
   =====================
diff --git a/test/test_sh.t b/test/test_sh.t
index ec40aac..abdc58c 100644
--- a/test/test_sh.t
+++ b/test/test_sh.t
@@ -182,12 +182,12 @@ Tests Model Hierarchy Heap using WriteLists:
   $_descending
   
   >Program Print
-  (int.add (int.add $_descending 3) 10)
+  (int.add $_descending 13)
   
   >Program Print
-  (int.add (int.add (int.add $_descending 3) 10) 1)
+  (int.add $_descending 14)
   
-  Returned (int.add (int.add $_descending 3) 10)
+  Returned (int.add $_descending 13)
   Everything Ok!
   
   =====================
diff --git a/test/test_sopl.t b/test/test_sopl.t
index 4495fc7..7f3d936 100644
--- a/test/test_sopl.t
+++ b/test/test_sopl.t
@@ -182,12 +182,12 @@ Tests Model WriteLists:
   $_descending
   
   >Program Print
-  (int.add (int.add $_descending 3) 10)
+  (int.add $_descending 13)
   
   >Program Print
-  (int.add (int.add (int.add $_descending 3) 10) 1)
+  (int.add $_descending 14)
   
-  Returned (int.add (int.add $_descending 3) 10)
+  Returned (int.add $_descending 13)
   Everything Ok!
   
   =====================
diff --git a/test/test_st.t b/test/test_st.t
index d8707d9..1844449 100644
--- a/test/test_st.t
+++ b/test/test_st.t
@@ -184,12 +184,12 @@ Tests Model Tree:
   $_descending
   
   >Program Print
-  (int.add (int.add $_descending 3) 10)
+  (int.add $_descending 13)
   
   >Program Print
-  (int.add (int.add (int.add $_descending 3) 10) 1)
+  (int.add $_descending 14)
   
-  Returned (int.add (int.add $_descending 3) 10)
+  Returned (int.add $_descending 13)
   Everything Ok!
   
   =====================
@@ -436,7 +436,7 @@ Tests Model Tree:
   Execution mode: st
   
   >Program Print
-  (bool.ite (bool.and true true) 5 0)
+  5
   
   Returned 0
   Everything Ok!