added converging logic to node-disjoint path lemma