CIDER: Counterfactual-Invariant Diffusion-based GNN Explainer for Causal Subgraph Inference | Synapse