Added tests for simplifier_arbre
Finished tests, encoe works