Case Level Counterfactual Reasoning in Process Mining · Study