DeepSWIP Adds Exact Counterfactual Reasoning to DeepProbLog Programs | HACKOBAR_