After exported procedure is called, execute a transition (with the same
name but no parameter) in the state machine