diff --git a/src/builder/bdd/robdd.rs b/src/builder/bdd/robdd.rs
index a95ec6fd..ea4e6255 100644
--- a/src/builder/bdd/robdd.rs
+++ b/src/builder/bdd/robdd.rs
@@ -190,10 +190,12 @@ impl<'a, T: IteTable<'a, BddPtr<'a>> + Default> RobddBuilder<'a, T> {
                 match bdd.scratch::<usize>() {
                     None => (),
                     Some(v) => {
-                        return if bdd.is_neg() {
-                            alloc[v].neg()
-                        } else {
-                            alloc[v]
+                        if alloc.len() > v {
+                            return if bdd.is_neg() {
+                                alloc[v].neg()
+                            } else {
+                                alloc[v]
+                            };
                         }
                     }
                 };