Added Nfa.EnumerateCovers and test