Program analysis facilities should be used whenever available to aid in the analysis of partial implementations.
Објекте анализе програма треба користити кад год је на располагању да помогну у анализи парцијалних имплементација.