changing the callback arguments for statechart because of maximum of two arguments for sendEvent