Testing Graph Database Systems via Equivalent Query Rewriting | Synapse