22. a2:
23. if a1=
0
true else false fi = if a2=0 true else false fi
a1 = a2 
a1,a2:2. if a1=0 true else false fi = if a2=0 true else false fi 
a1 = a2| 1 | 1. a1: 2 2. a2: 23. if a1= 0 true else false fi = if a2=0 true else false fi a1 = a2 |
About:
 |  |  |  |  |  |  |  |