add public test
feat(dfa.ml): prepare for reach definition