The Transitions of The Flattened Core Program:
Transition number 4, original name: PRODUCE
	vars changed by assign: next_free_element 
	vars changed by relation: 

Transition number 3, original name: PRODUCER_WAIT
	vars changed by assign: next_free_element next_occupied_element 
	vars changed by relation: 

Transition number 2, original name: CONSUMER_WAIT
	vars changed by assign: next_free_element next_occupied_element 
	vars changed by relation: 

Transition number 1, original name: CONSUME
	vars changed by assign: next_occupied_element 
	vars changed by relation: 



The Variables of the Flattened Program:
Variable name: next_occupied_element
	Transitions that change variable by assign: 1 2 3 
	Transitions that change variable by relation: 

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

Variable name: buffer_size
	Transitions that change variable by assign: 
	Transitions that change variable by relation: