Fix to be equivalent to a205ed4077bc3cf75020649474

+ Add debug functions
Debug version with complicated removeCycles

This version still fails to compress SEQ042_size2.smt2
No more runtime error with SimpleML

But :
 - very very slow
 - fail because of lack of memory on eq_diamond10.smt2
 - the conclusion often doesn't subsume the original one
 - huge quantity of debug informations on stdout
 - the code is ugly
Add sample proofs