ChangeVarNameInModule
The Transitions of The Flattened Core Program:
Transition number 4, original name: ENTER_CRITIC1_EXIT_CRITIC2
	vars changed by assign: can_change_shared_B shared can_change_shared 
	vars changed by relation: 

Transition number 3, original name: EXIT_CRITIC1_ENTER_CRITIC2
	vars changed by assign: can_change_shared_B shared can_change_shared 
	vars changed by relation: 

Transition number 2, original name: NON_CRITIC1
	vars changed by assign: x 
	vars changed by relation: 

Transition number 1, original name: NON_CRITIC2
	vars changed by assign: y 
	vars changed by relation: 



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

Variable name: y
	Transitions that change variable by assign: 1 
	Transitions that change variable by relation: 

Variable name: x
	Transitions that change variable by assign: 2 
	Transitions that change variable by relation: 

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

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

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