Forbid nested procedures
Nested procedure potentially allow variable capturing, like here: https://pseuco.com/#/edit/remote/w085v9e7yir7rw2mc6a2
Nested procedure potentially allow variable capturing, like here: https://pseuco.com/#/edit/remote/w085v9e7yir7rw2mc6a2