From 87f5295bd01e59c0387083b2de2b38e48ad1e310 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 14 Aug 2025 21:21:32 -0700
Subject: [PATCH] check for stack variables in ground_test before iterating
 (#3048)

---
 src/machine/machine_state_impl.rs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/machine/machine_state_impl.rs b/src/machine/machine_state_impl.rs
index 3f14253d..3de055e5 100644
--- a/src/machine/machine_state_impl.rs
+++ b/src/machine/machine_state_impl.rs
@@ -1193,9 +1193,13 @@ impl MachineState {
 
     // returns true on failure.
     pub fn ground_test(&mut self) -> bool {
-        let iter = eager_stackful_preorder_iter(&mut self.heap, self.registers[1]);
+        let term = self.store(self.deref(self.registers[1]));
 
-        for term in iter {
+        if term.is_stack_var() {
+            return true;
+        }
+
+        for term in eager_stackful_preorder_iter(&mut self.heap, term) {
             if term.is_var() {
                 return true;
             }
-- 
2.54.0