Check that a function definition has no nested function definitions.
The function definition itself is okay:
we just check that its body has no function definitions.
This is the condition of all the function definitions
after the