On the Lumping Semantics of Counterfactuals