This is a program that is given step by step on a book on BDD