/// <summary>
/// Collapse the automaton, i.e. overapproximate its language.
/// </summary>
/// <param name="m">Automaton.</param>
/// <returns>The collapsed automaton.</returns>
public virtual SSA <SYMBOL> Collapse(SSA <SYMBOL> m)
{
return(m.Collapse(StatesAreEquivalent));
}