implementation of Dourisboure & Gavoille's bfs algorithm, with up to 2 separator steps one of which uses METIS