Counterfactual Generation with Identifiability Guarantees Hanqi Y an