Meta-theorems for Graph Polynomials | Synapse