This assertion need not actually be true.

It's perfectly legal to write assertions about function call orders that don't pay any attention to their arguments.