Ellenőrzési utasítás, egy vagy több logikai kifejezések, amelyek eredményei meghatározhatja, hogy kivégez a ha belül egyéb nyilatkozatok tartalmazó nyilatkozatot.