Control.AFSM.Util
f1template
f2template
absorb
merge