Issue #12: updating regex2dfa to v0.1.3