New tests, start of NewDFAMin