stable state, can be used and prints the BDDs using pydot