Restricting ROBDD added
Staged deletions