Dump bug corrected : nodes cannot be identified only by var id !
A BDD not being a tree, it's necessary to perform a deep-first search on
it to dump it, and not a classical deep-search. Fixed.