The other stepping subcase in method invocation.

Verifies on command-line.