Added Nu and Mu checking
Not quite sure they work actually
Added Bdd.ml