CoSMeDis.Outer_Friend_Receiver_State_Indistinguishability