Start importing the state machine in the behavior annex