Declarative mining returns incorrect results #13

We need to adjust mining methods to do what here is done, except that we don't want to keep the corresponding traces, but just the support percentage. Consider this tool's result as the ground-truth.

Remember that the mining depends on this preprocessing step.