optimize ml_matches slightly

Commit

7 years ago

optimize ml_matches slightly Mostly a memory savings, since the intersection-visitor was already good about fast rejection.