diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs
index 60713510..f48d77ff 100644
--- a/src/prolog/machine/machine_state_impl.rs
+++ b/src/prolog/machine/machine_state_impl.rs
@@ -3109,6 +3109,7 @@ impl MachineState {
             match v {
                 HeapCellValue::Addr(Addr::HeapCell(..)) => return true,
                 HeapCellValue::Addr(Addr::StackCell(..)) => return true,
+                HeapCellValue::Addr(Addr::AttrVar(..)) => return true,
                 _ => {}
             }
         }