rename set_single_acceptance_set() in set_buchi()
The actual name is misleading now that we can also represent a co-Büchi automaton with a single acceptance set.
The actual name is misleading now that we can also represent a co-Büchi automaton with a single acceptance set.