an LTL-to-Buchi translator