Nem az if-ben van jelentősége, hanem egy ciklusfeltételben:
while (x:= NextRec())!=NULL:
Tulajdonképpen ez egy alternatív értékadó-operátor, de az túl egyszerű lett volna, ha csak annyit csinálnak, hogy 'mostantól a := is használható értékadás értelmeben', inkább kitalálták, hogy a két értékadó operátor más-más kontextuális inspirációt tartalmaz, ezért spéci ellenőrzések vannak, hogy a használatukat korlátozzák.
a=b # jó
a:=b # nem jó
(a=b) # nem jó
(a:=b) # jó