Add execution time in gui
In Generalization add equality test order independent
Don't expand with a clause already present
Fix equality test in Generalization
Improve the heuristic short clauses first

Sort the couples of clauses with the sum of the sizes.
With this has been saved one forth of execution time.