Counterfactual Identification and Latent Space Enumeration in Discrete Outcome Models | Synapse