Elágazást egyféle eszközzel támogat a nyelv:
if feltétel
feltételes utasítás
Csak a feltétel
utáni első utasításra vonatkozik az elágazás.Kétféle ciklus van: Az általános anchor-step és az előre ismert lépésszámú do-while ciklus. Ezek szintaxisa:
anchor név;;
ciklusmag
step név;;
és
do ciklus-változó [kezdőérték]
ciklusmag
while [növekmény] [végérték]
A step utasítás valójában egy goto -nak felel meg, amely bármely előtte deklarált
anchor-ra vissza tud lépni. Az anchor-step ciklusból egy a step elé
írt elágazással lehet kilépni.
anchor név;;
ciklusmag
if invariáns-teljesül
step név;;