New SM diagram of controller.
added refinement to controller diagram, for fudging the guards
End of flat statemachine attempt