Dynamic rule transformer in progress

...xplanation/kb_gri/encoders/AbstractGSATEncoder_KBGRI.java

...ri/explainers/AbstractDynamicGRIBasedExplainer_KBGRI.java

...gri/explainers/AbstractStaticGRIBasedExplainer_KBGRI.java

...on/kb_gri/explainers/KBSupportExplainer_DynamicKBGRI.java

...nation/kb_gri/rule_transformation/GRIRuleTransformer.java

...planation/kb_gri/rule_transformation/RuleTransformer.java

...nation/to_be_removed/GRI/dynamicProcessing/RELTracer.java

...to_be_removed/GRI/sat4j/FactSupportMUSSat4JProcessor.java

...nation/to_be_removed/GRI/staticProcessing/GRIBuilder.java

.../tracker_gri/encoders/AbstractGSATEncoder_TrackerGRI.java

...xplainers/AbstractStaticGRIBasedExplainer_TrackerGRI.java

...nambiguousProofTreeWhyProvenanceExplainer_TrackerGRI.java

...nation/chasingAndTracing/ChaseGRIRuleTransformerTest.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