class
BDDFactoryIntImpl.IntBDDVarSetWithFinalizer
BDDFactoryIntImpl.IntZDDVarSet
BDDFactoryIntImpl.IntZDDVarSetWithFinalizer
UberMicroFactory.Micro5VarSet