| | | | | allocate a cell
| | | | then 
| | | | | bind "x" to the given cell
| | | then 
| | | | | allocate a cell
| | | | then 
| | | | | bind "n" to the given cell
| | then 
| | | | allocate a cell
| | | then 
| | | | bind "r" to the given cell
| before 
| | | | store 5 in (the cell bound to "x")
| | | then 
| | | | store 6 in (the cell bound to "n")
| | then 
| | | store 2 in (the cell bound to "r")
hence 
| unfolding 
| | | | | give (the integer stored in (the cell bound to "n"))
| | | | and then 
| | | | | give 0
| | | then 
| | | | give the given integer # 1 is greater than the given integer # 2
| | then 
| | | | | check ((the given truth-value) is true)
| | | | and then 
| | | | | | | give (the integer stored in (the cell bound to "x"))
| | | | | | and then 
| | | | | | | give (the integer stored in (the cell bound to "r"))
| | | | | then 
| | | | | | | store (product ( (the given integer # 1) , (the given integer # 2) )) in (the cell bound to "x")
| | | | | | then 
| | | | | | | | | give (the integer stored in (the cell bound to "n"))
| | | | | | | | and then 
| | | | | | | | | give 1
| | | | | | | then 
| | | | | | | | | store (difference ( (the given integer # 1) , (the given integer # 2) )) in (the cell bound to "n")
| | | | | | | | and then 
| | | | | | | | | unfold
| | | or 
| | | | | check ((the given truth-value) is false)
| | | | then 
| | | | | complete