Heuristic best-first algorithm for computing Evidence Counterfactuals (SEDC): explaining the model predictions of any classifier using a minimal set of features, such that removing these features results in a predicted class change. 