Implement AccessesArguments checking in the two-callsite form