Add example for orthogonal fsm