Maximal Matches Disjoint Enumeration generates irregular number of matches

[monadplus]

If you sum the number of matches generated by Maximal Matches Disjoint Enumeration (MMDE) it is always bigger than the number of matches generated by Sequential when it should be equal.

I can confirm that the number of matches generated is larger.

case ProcessBlueprint(id, blueprint, maximalMatches, sop, replyTo) =>
        val (matches, repeated) = blueprint.enumerateDistinct(maximalMatches)

If you sum all matches from Worker.scala (line 76-77) you will get 860 on Benchmark1 - Query ? (#Maximal Matches = 4)

[monadplus]

I have been investigating and I don't think it is a theoretical bug i.e. the proposition "repeated matches can only be found in different maximal matches under the same blueprint" seems to be true (yet to be proven).

The maximal matches are properly grouped by blueprints in the map.

enumerateDistinct is probably the cause but this method is tested.