Graph Connexity is ensured

* New algorithm (DFS) to ensure connexity
* Several minor bug fixes