Hiding propositional constants in BDDs door J.F. Groote