Greedy

[kasiaMarek]

[kasiaMarek]

I created a "guard" that checks if the regex passed to disjoint matches is consuming. This is to make sure the function makes progress and terminates. The function lacks actual proof, that consuming means the match has to be non-empty, so the function is marked as partial. I'm afraid that writing proof might be much more elaborate.