Rooted formulation
Almost there, need to think about trivial cuts…
separate tolerance for determining minCut