The Transitions of The Flattened Core Program:
Transition number 3, original name: OUTPUT_IS_1
	vars changed by assign: current_state output 
	vars changed by relation: 

Transition number 2, original name: GO_TO_NEXT_STATE
	vars changed by assign: current_state output 
	vars changed by relation: 

Transition number 1, original name: SELF_LOOP
	vars changed by assign: output 
	vars changed by relation: 



New types in core program:
state with definition of Range from 0 to 7

Variable current_state is of type state.

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

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

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