/*
 * A first State Machine resource.
 */
input signal x
input signal y

state State1
	set z = false
	if x == true goto State2
end
/*
 * A second State Machine resource.
 */
output signal z

state State2
	if x == false and y == true goto State1
end