Statechart Checks
: