Small optim in Bdd.ml (thanks Remy)