has at least one of the provided iris
has at least one of the provided iris
has at least one of the provided labels
has at least one of the provided labels
TODO: result of path is a List[ET0]
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