Creation and insertion in BDD