The Transitions of The Flattened Core Program:
Transition number 4, original name: DELIVER
	vars changed by assign: ready_to_deliver buffer_empty ready_to_produce buffer_filled 
	vars changed by relation: 

Transition number 3, original name: PRODUCE
	vars changed by assign: ready_to_produce ready_to_deliver 
	vars changed by relation: 

Transition number 2, original name: CONSUME
	vars changed by assign: ready_to_consume ready_to_remove 
	vars changed by relation: 

Transition number 1, original name: REMOVE
	vars changed by assign: buffer_filled ready_to_remove buffer_empty ready_to_consume 
	vars changed by relation: 



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

Variable name: buffer_filled
	Transitions that change variable by assign: 1 4 
	Transitions that change variable by relation: 

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

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

Variable name: ready_to_remove
	Transitions that change variable by assign: 1 2 
	Transitions that change variable by relation: 

Variable name: ready_to_consume
	Transitions that change variable by assign: 1 2 
	Transitions that change variable by relation: