The compiler does not diagnose the use of uninitialized automatic variables in the procedure block prolog.
The compiler does not detect dependencies in order of evaluation of automatic variables in the procedure block prolog nor
does it diagnose those dependencies.