[SystemRedundancy firmware] Unexpected PNS_IF_CHECK_IND generated on ARSet status change

An unexpected PNS_IF_CHECK_IND indicating an "unused submodule" may be generated by the firmware in the following scenario

• SystemRedundancy firmware is used
• Protocol stack configured with systemflag PNS_IF_SYSTEM_CHECK_IND_UNUSED_MODULES_ENABLED
• SystemRedundancy ARSet is established using all configured submodules of the Device
• two Controllers in ARSet exist
• one Controller of ARSet terminates its AR (e.g. because it is reconfigured or switched off)

It is expected that no "unused" submodule exists (as the second Controller AR still exists) and thus no PNS_IF_CHECK_IND is generated.

Observed behavior: When the AR is terminated, PNS_IF_CHECK_IND is generated indicating "unused" submodules.