add unit tests for builtin_parse_dfa