(All tests passing) adding cylic tests, refactoring tracker GRI

...xplainers/AbstractStaticGRIBasedExplainer_TrackerGRI.java

...t/explanation/check_has_explanation/MowlOntologyTest.java

...ests/explainer/kb_gri_marco/FactSupportExplainerTest.java

...ests/explainer/kb_gri_marco/RuleSupportExplainerTest.java

...s/explainer/kb_gri_s4j/FactSupportExplainerSat4JTest.java

...s/explainer/kb_gri_s4j/RuleSupportExplainerSat4JTest.java

...4j/FactSupportExplainerWithLinearTrackerAndSat4JTest.java

...4j/RuleSupportExplainerWithLinearTrackerAndSat4JTest.java