Improve language equivalence check performance using Paige and Tarjan optimisations
- There are smart implementation tricks in (Paige and Tarjan, 1987) to speed up computation.
We may consider implementing these optimizations to improve the performance of the event-based language equivalence check.