Improved Bdd implementation
Improved bdd with restrict and exists