maximalNonBranchingPaths init