merge trivial SCCs in simulation
Let sig'(t) be the signature of a state t, ignoring acceptance conditions.
If t is in a trivial SCC, and there exists a state u (not necessary in a trivial SCC) such sig'(u) = sig'(t), then the t state should be replaced by the u state (but not the other way around).