consistent return of null for empty DFA (Coverity)