Counterfactual Explanation Generation with s(CASP)