ltlf2dfa
