DFA reachable and co-reachable refactoring; DFA co-reachable bug-fix on transition removal
DFA reachable and co-reachable refactoring; DFA co-reachable bug-fix on transition removal

Oneiroe/PySimpleAutomata