Finite biprefix sets of paths in a graph