public bool AreEquivalent(Automaton<BDD> aut1, Automaton<BDD> aut2) { return aut1.IsEquivalentWith(aut2); }