// node 1

	a <- 5
 a=5
	b <- a + 2
 a=5 b=7
	beq b = 2 -> L_1
 a=5 b=7

// node 2
 a=5 b=7
	c <- 7
 a=5 b=7 c=7
	d <- a
 a=5 b=7 c=7 d=5
	e <- 8
 a=5 b=7 c=7 d=5 e=8
	beq 0 = 0 -> L_2
 a=5 b=7 c=7 d=5 e=8

// node 3
 a=5 b=7
L_1:
 a=5 b=7
	c <- 7
 a=5 b=7 c=7
	d <- 5
 a=5 b=7 c=7 d=5
	e <- 9
 a=5 b=7 c=7 d=5 e=9

// node 4
 a=5 b=7 c=7 d=5 e=Top
L_2:
 a=5 b=7 c=7 d=5 e=Top
	print a
 a=5 b=7 c=7 d=5 e=Top