Further progress on dfa_to_re.py