Transfer FSM definition to Tron, rather than SMC