max_uncovered() now reduces dupleset once invalid or covered pair encountered