This, along with a restrictive style prohibiting a variety of constructs usually available, is used to expose the semantics of programs, making them easier to analyze.
Αυτό το χαρακτηριστικό, μαζί με ένα περιοριστικό στυλ που απαγορεύει πολλές από τις δομές που χρησιμοποιούνται συχνά, έχουν ως αποτέλεσμα να αποκαλύπτεται η σημασιολογία του προγράμματος και να γίνεται ευκολότερη η ανάλυσή της.