Alexandre Lewkowicz authored Sep 24, 2015 and Alexandre Duret-Lutz committed Feb 12, 2016

* src/tests/safra.cc, src/tests/safra.test: Update it.
* src/twaalgos/safra.cc, src/twaalgos/safra.hh: all nodes in a safra
state are grouped by SCC. This is done by putting them in different
braces.  The same SCC can have different ids depending on the safra
state.