Ensure ANY_ARGUMENTS will only be used as first argument in verification