* spot/twaalgos/safra.cc, spot/twaalgos/safra.hh: Enables use to compute successor safra state for any edge.