From be9aa2cc897ce4ff8a42617f9707c179e0eeddbd Mon Sep 17 00:00:00 2001
From: "Dobbertin, Niclas" <niclas.dobbertin@mailbox.org>
Date: Mon, 2 Sep 2024 08:12:53 +0200
Subject: update

---
 modeling/prod_procedure.py | 25 +++++++++++++++++++++----
 1 file changed, 21 insertions(+), 4 deletions(-)

(limited to 'modeling/prod_procedure.py')

diff --git a/modeling/prod_procedure.py b/modeling/prod_procedure.py
index f9e2d7f..19e5b8a 100644
--- a/modeling/prod_procedure.py
+++ b/modeling/prod_procedure.py
@@ -39,11 +39,28 @@ def procedures(Model):
         +retrieval>
         isa         procedure
         proc        =proc
-
     """,
     )
     prods.append(proc_start)
 
+    proc_start_retry = Model.productionstring(
+        name="proc_start_retry",
+        string="""
+        =g>
+        isa         math_goal
+        op          retrieve_task
+        ?retrieval>
+        state       error
+        ?imaginal>
+        state       free
+        ==>
+        =g>
+        isa         math_goal
+        op          None
+        ~retrieval>
+    """,
+    )
+
     proc_start_task1 = Model.productionstring(
         name="proc_start_task1",
         string="""
@@ -86,6 +103,7 @@ def procedures(Model):
         mul_counter None
         ones_carry  None
         tens_carry  None
+        ~retrieval>
     """,
     )
     prods.append(proc_start_task1)
@@ -189,15 +207,13 @@ def procedures(Model):
         isa         math_goal
         arg2        =arg2
         op          check_if_number_arg2
-        nextop      =op
         =retrieval>
         isa         number
         number      =arg2
         ==>
         =g>
         isa         math_goal
-        op          =op
-        nextop      None
+        op          expand
         ~retrieval>
         """
     )
@@ -233,6 +249,7 @@ def procedures(Model):
         isa         math_op
         ?retrieval>
         state       free
+        buffer      empty
         ==>
         =g>
         isa         math_goal
-- 
cgit v1.2.3