not only the part reachable from 'initial').
not handled everywhere. Hopefully that's done.
. add 'const' specifiers
. change the function used to display wdds
. check that the backtracking stack is empty at the end of the computation.
. change API to the dfs traversal
