An implementation of Safra's algorithm, converting Beuchi automata to Rabin automata