Delete the garbage collection and use new structures in BDDApply