Added minus test for DFA and minus crashes. This needs to be fixed