More testing and printout for DFATable.  DFATable definitely appears to be working.