docs(model): Add a comment about the algorithm in traverse()

[sschuberth]

@oheger-bosch am I correctly describing the rationale here why traversing is not stopped after finding the first match for a node?

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 67.93%. Comparing base (0ff17e7) to head (132e35b).
Report is 2 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff            @@
##               main    #9483   +/-   ##
=========================================
  Coverage     67.93%   67.93%           
+ Complexity     1291     1289    -2     
=========================================
  Files           249      249           
  Lines          8792     8792           
  Branches        913      913           
=========================================
  Hits           5973     5973           
  Misses         2433     2433           
  Partials        386      386           

Flag	Coverage Δ
funTest-docker	64.82% <ø> (ø)
funTest-non-docker	33.34% <ø> (-0.14%)	⬇️
test	35.75% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

---

🚨 Try these New Features:

• Flaky Tests Detection - Detect and resolve failed and flaky tests
• JS Bundle Analysis - Avoid shipping oversized bundles

[oheger-bosch]

Yes, looks good to me.