inside the WHILE and [...] 子のない単純な式の増分は 0 です。 b := b1 AND [...] chain of AND