Force DFA to be fully defined.
Add in a regex test of a*(b|c)