f(x8) {
   10:	nop
    9:	nop
    8:	x20 = 5
    7:	if (x8 ==s 21) goto 5 else goto 6
    6:	goto 3
    5:	x22 = 20
    4:	nop
    3:	x18 = γ((¬(x8 ==s 21),x20),((x8 ==s 21),x22))
     nop
    2:	x28 = x18
    1:	return x28
}