WYRL: working on the fundamental issue of rewrite rules for automaton.