I wonder how one would do DFA minimization with that though. Implement regexp functional equivalence testing so I will not have to! :D