julius4/gramtools/dfa_minimize