- [[ (
**if**X=0**then**Y:=1**else**Y:=2) || X := X+1 ]]- Initial value of X is
`zero`:

test X = 0; Y := 1; X := X+1

test X = 0; X := X+1; Y := 1

X := X+1; test X=0; Y:=2 - Initial value of X is positive:

test X = 0; Y := 2; X := X+1

test X = 0; X := X+1; Y := 2

X := X+1; test X = 0; Y := 2

- Initial value of X is

Wolfgang.Schreiner@risc.uni-linz.ac.at

Id: intro.tex,v 1.2 1996/01/31 15:37:03 schreine Exp schreine