Strong Compression: -> Bug fix
-> Efficiency: strong compression start with the result of the weak compression
-> Soundness: problem with permutations and links solved.