Finalize analyzer: Log method calls with arguments