Si consideri un linguaggio in cui i programmi sono blocchi. Le
dichiarazioni consistono di dichiarazioni di variabili tutte di un
unico tipo e di dichiarazioni di procedura con parametri che possono
essere solo variabili. Le istruzioni possono essere solo invocazioni
di procedura e assegnamenti di espressioni aritmetiche a variabili. Si
chiede di dare uno schema top-down che dia come attributo del
programma "true" se le procedure usano anche variabili non
locali, "false" altrimenti.