a Checks that arguments references are inside a function body.