Add a simpler BDD construction function