minor fixes
equivalence checking in approximated DFA should be co-recursive