Shortest match for DFAs added.