Special handling for 'predicate' traversals in MatchStep, with early elimination of duplicate results