beginner help: detect arguments usage

[glathoud]

We cannot inline the body of a function that uses arguments, because the arguments would then (wrongly) point to the containing function. An explicative error should be thrown in such a case.