Statechart Checks :