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