Clean up the code in findInDfa