lspace.librarian.process.traversal.Traversal
TODO: result of path is a List[ET0]
to be repeated
nonempty traversal is being repeated
number of times is being repeated
result of each loop