Tie knot (now "connectState") before Netlist generation, too. Simpler.
remove old code
MealyToArrow. I get <<loop>>, so turned off. :/
Show constraint
restore ForkB. move TrimM.
LoopC: with delay but not loop; "delay" --> "Cons"
warn-unused-binds
warn-unused-binds