Guida su campo (AVFCALL) 

verifica dei sotto-programmi e funzioni.

Questa scelta riguarda principalmente la chiamata di sotto-programmi nei sorgenti (esistenza, numero e coerenza dei parametri...).