Add basic eNFA and DFA tests