start 2 variable model for communication
refinement 2 variables for ER connections
bein remove ER_connections set
added reverse invariant to ER_connections <: {comm_partner, hand_over_partner}
removed ER_connections set
removed establish_ER_connection
small corrections for l_partner : ER_connections case for data refinement