Strong compression: 2 bug fixes.
1) GC of KaSim was incompatible with strong compression.
=> We reallocate agent id so that they are used only once in traces.
2) Projection of a minimal solution is not necessarily a minimal solution.
Now we give priority so that to ensure that real events are discussed first.