check for stack variables in ground_test before iterating (#3048)

diff --git a/src/machine/machine_state_impl.rs b/src/machine/machine_state_impl.rs
index 3f14253d03e2dde95b548b76da162885df5037fc..3de055e52366f59a1f98690b0c85bac78954b75b 100644 (file)
--- 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;
             }