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
compares to the value of the first result
compares to the value of the first result
compares to the value of the first result
compares to the value of the first result
sorts with the value of the first result
sorts with the value of the first result
TODO: result of path is a List[ET0]
TODO: result of path is a List[ET0]
to be repeated
number of times is being repeated
result of each loop
nonempty traversal is being repeated