teach sbacc about sink states
This came up in a test case updated by @tmedioni in
If we run
sbacc() on the following automaton:
However since input state 1 is a positive sink, we would prefer to generate:
Since positive and negative sinks seems to be useful in a few places, maybe we should have a dedicated function returning them.