A nyelvben nincs lehetőségünk automatikus helyesség bizonyításra, sőt még szintaktikai helyesség ellenőrzés is csak akkor történik, amikor a vezérlés az adott utasításhoz ér.
