sbacc on alternating automata

sbacc currently only work on existential automata. It would be nice to have it work on alternating automata as well.