improved code and documentation

...real/explanation/api/encoders/GSATEncodingResult_GRI.java

...real/explanation/api/explainers/AtomicQueryExplainer.java

...lanation/api/validators/AtomicKBExplanationValidator.java

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

...gri/explainers/AbstractStaticGRIBasedExplainer_KBGRI.java

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

...hyprovenance/UnambiguousProofTreeWhyProvenanceSolver.java

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

.../tracker_gri/encoders/AbstractGSATEncoder_TrackerGRI.java

...n/tracker_gri/encoders/GSATEncodingResult_TrackerGRI.java

...xplainers/AbstractStaticGRIBasedExplainer_TrackerGRI.java

...nambiguousProofTreeWhyProvenanceExplainer_TrackerGRI.java