Added tests for simplifier_arbre