edge_increment_ok now does all the checks - complete
2 additions, - try to select those long paths that have fewer

candidates; when constructing conformanceDS take into account the fact
that the path downstream in the traversal tree is predetermined