When restarting the UES state machine (receiving Msg16 after another Msg16 has been processed and revoked), the state machine in ES_Process_Unconditional remains in state UES_TRIGGERED for two cycles. Since we overwrite the value of local nid_em while in this state, this behavior results in an error, when the next message after Msg16 contains another nid_em.
When restarting the UES state machine (receiving Msg16 after another Msg16 has been processed and revoked), the state machine in
ES_Process_Unconditionalremains in stateUES_TRIGGEREDfor two cycles. Since we overwrite the value of localnid_emwhile in this state, this behavior results in an error, when the next message after Msg16 contains anothernid_em.