renamed rules in tests

...on/src/test/java/fr/boreal/test/explanation/TestData.java

...eal/test/explanation/chasingAndTracing/RELTracerTest.java

...l/test/explanation/explainer/DynamicGRIExplainerTest.java

...xplanation/explainer/kb_gri/FactSupportExplainerTest.java

.../explanation/explainer/kb_gri/KBSupportExplainerTest.java

...xplanation/explainer/kb_gri/RuleSupportExplainerTest.java

...racker_gri/FactSupportExplainerWithLinearTrackerTest.java

..._gri/KBSupportExplainerWithLinearTrackerAndSat4JTest.java

.../tracker_gri/KBSupportExplainerWithLinearTrackerTest.java

...racker_gri/RuleSupportExplainerWithLinearTrackerTest.java

...er/tracker_gri/WhyProvenanceExplainerWithTrackerTest.java

.../explanation/solvingViaGMUS/sat4j/MUSSat4JSolverTest.java