Towards A Generalizable and Expressive Graph Neural Network for Graph-Level Tasks with Theoretical Guarantees | Synapse