private void CheckIsClean(Automaton<BDD> aut) { foreach (var m in aut.GetMoves()) if (m.Label.IsEmpty) Assert.IsFalse(true); }