added missing method

...pi/processors/AbstractExplanationsProcessor_GMUS_GRI.java

...gri/explainers/AbstractStaticGRIBasedExplainer_KBGRI.java

...anation/kb_gri/explainers/FactSupportExplainer_KBGRI.java

...planation/kb_gri/explainers/KBSupportExplainer_KBGRI.java

...anation/kb_gri/explainers/RuleSupportExplainer_KBGRI.java

...ion/kb_gri/processors/FactSupportGMUSProcessor_KBGRI.java

...ation/kb_gri/processors/KBSupportGMUSProcessor_KBGRI.java

...ion/kb_gri/processors/RuleSupportGMUSProcessor_KBGRI.java

...xplainers/AbstractStaticGRIBasedExplainer_TrackerGRI.java

...acker_gri/explainers/FactSupportExplainer_TrackerGRI.java

...tracker_gri/explainers/KBSupportExplainer_TrackerGRI.java

...acker_gri/explainers/RuleSupportExplainer_TrackerGRI.java

...r_gri/processors/FactSupportGMUSProcessor_TrackerGRI.java

...ker_gri/processors/KBSupportGMUSProcessor_TrackerGRI.java

...r_gri/processors/RuleSupportGMUSProcessor_TrackerGRI.java

..._gri/KBSupportExplainerWithLinearTrackerAndSat4JTest.java