The Transitions of The Flattened Core Program:
Transition number 8, original name: SENDER_DELAY
	vars changed by assign: num_of_messages 
	vars changed by relation: 

Transition number 7, original name: RECV_OLD_ACK
	vars changed by assign: ack_exists 
	vars changed by relation: 

Transition number 6, original name: RECV_NEW_ACK
	vars changed by assign: send_bit ack_exists send_new_message 
	vars changed by relation: 

Transition number 5, original name: SEND_OLD_MESSAGE
	vars changed by assign: message_bit message_exists 
	vars changed by relation: 

Transition number 4, original name: SEND_NEW_MESSAGE
	vars changed by assign: num_of_messages message_exists
				message_bit send_new_message 
	vars changed by relation: 

Transition number 3, original name: RECV_NEW_MESSAGE
	vars changed by assign: message_exists recv_bit ack_exists
				ack_bit num_of_recv_messages 
	vars changed by relation: 

Transition number 2, original name: RECV_OLD_MESSAGE
	vars changed by assign: message_exists ack_exists ack_bit 
	vars changed by relation: 

Transition number 1, original name: RECEIVER_DELAY
	vars changed by assign: num_of_recv_messages 
	vars changed by relation: 



The Variables of the Flattened Program:
Variable name: send_new_message
	Transitions that change variable by assign: 4 6 
	Transitions that change variable by relation: 

Variable name: recv_bit
	Transitions that change variable by assign: 3 
	Transitions that change variable by relation: 

Variable name: send_bit
	Transitions that change variable by assign: 6 
	Transitions that change variable by relation: 

Variable name: ack_bit
	Transitions that change variable by assign: 2 3 
	Transitions that change variable by relation: 

Variable name: message_bit
	Transitions that change variable by assign: 4 5 
	Transitions that change variable by relation: 

Variable name: ack_exists
	Transitions that change variable by assign: 2 3 6 7 
	Transitions that change variable by relation: 

Variable name: message_exists
	Transitions that change variable by assign: 2 3 4 5 
	Transitions that change variable by relation: 

Variable name: num_of_recv_messages
	Transitions that change variable by assign: 1 3 
	Transitions that change variable by relation: 

Variable name: num_of_messages
	Transitions that change variable by assign: 4 8 
	Transitions that change variable by relation: