2. x :
k
3. y :
k
4. z :
k
5.
y = z
6.
x = y
7. x1 :
k
8. x1 = x
y
=
if if z=
y
z else y fi=x z
i; if z=y z else y fi=z x
i; z=y z
else y fi
k
k
k
y = z
x = y
k
y
=
if if z=y z else y fi=x z
i; if z=y z else y fi=z x
i; z=y z
else y fi| By: |
y) = false) 0 THEN Reduce 0 |
| 1 |
(z=y) = false | 1 step |
| 2 |
y = if y=x z ; y=z x else y fi | 1 step |
About:
 |  |  |  |  |  |