Stubs called with default parameters can be verified without specifying those parameters.