Returns the constant false bdd.
This function returns the constant false bdd and can freely be used together with the bddtrue and bddfalse constants.
