conditional-instruction = action-instruction when condition action-instruction = assignment | procedure call | input | output | loop exit | return from call to procedure | return from call to function
A conditional instruction is carried out only when the condition is True. In other words
x +:= 1 when x > 0is another way of writing
if x > 0 x +:= 1 end