Stratified GNN Explanations through Sufficient Expansion | Synapse