The statement ifin the diagram is as follows:
(if <predicate> <consequent> <alternate>)
and is determined in such a way that it <consequent>is evaluated only when <predicate>it is not false, and therefore it <alternate>is evaluated only when it <predicate>is false. So you can see something like
(if
would never close the NSA.
But if it ifis a function, for example:
(<operator> <operand> …)
<operand> . if , <consequent>, <alternate> - if.