Flow Coverage: Too many test cases.

[vvhof]

If eliminating via Flow Coverage, we get a multitude of test cases, where actually one test case would be sufficient (and correct).

This should be adapted to actually eliminate test cases based upon coverage.

[timmaj]

Hm...this might or not might be a bug.

In principle, there either could be a but in detecting the flow or in detecting the coverage. However, it might aswell be the case that the flow cannot be fully covered. Moreover, the greedy algorithm used sometimes yiels a too great number of test cases. It should be at most a few, though. There are some debugging options in the code for test case elimination that should help with this, though.