Residual Finiteness of Graph Wreath Products | Synapse