Check variable shadowing in a function definition.
(check-shadow-fundef fundef vars) → _
First we ensure that the function's inputs and outputs are not already visible. We add them to the visible variables, and we check the body.