The Transitions of The Flattened Core Program:
Transition number 6, original name: CONSUME
	vars changed by assign: ready_to_consume ready_to_remove 
	vars changed by relation: 

Transition number 5, original name: REMOVE_FROM_SECOND_BUFFER
	vars changed by assign: b_buffer_cell_filled ready_to_remove b_buffer_cell_empty ready_to_consume 
	vars changed by relation: 

Transition number 4, original name: REMOVE_FROM_FIRST_BUFFER
	vars changed by assign: a_buffer_cell_filled ready_to_remove a_buffer_cell_empty ready_to_consume 
	vars changed by relation: 

Transition number 3, original name: DELIVER_TO_SECOND_BUFFER
	vars changed by assign: ready_to_deliver b_buffer_cell_empty ready_to_produce b_buffer_cell_filled 
	vars changed by relation: 

Transition number 2, original name: DELIVER_TO_FIRST_BUFFER
	vars changed by assign: ready_to_deliver a_buffer_cell_empty ready_to_produce a_buffer_cell_filled 
	vars changed by relation: 

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



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

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

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

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

Variable name: b_buffer_cell_empty
	Transitions that change variable by assign: 3 5 
	Transitions that change variable by relation: 

Variable name: b_buffer_cell_filled
	Transitions that change variable by assign: 3 5 
	Transitions that change variable by relation: 

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

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