terms containing attributed variables are not ground
@@ -3109,6 +3109,7 @@ pub(super) fn ground_test(&self) -> bool {
match v {
HeapCellValue::Addr(Addr::HeapCell(..)) => return true,
HeapCellValue::Addr(Addr::StackCell(..)) => return true,
+ HeapCellValue::Addr(Addr::AttrVar(..)) => return true,
_ => {}
}
}
