Moving check for valid use of ANY_ARGUMENTS to top
Fixing bug in verification
Refactoring: at this point arguments[0] should be ANY_ARGUMENTS or something is wrong
Extracted function to ensure valid usage of ANY_ARGUMENTS
Bug fix: moving the check to were it belongs