teach sbacc about sink states

This came up in a test case updated by @tmedioni in dualize.py.

If we run sbacc() on the following automaton:

we get:

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.