An improved equivalence algorithm | Synapse