refactor(spec-specs): rename inclusion_list_satisfied field - part 2

[jihoonsong]

🗒️ Description

This PR renames the missing inclusion_list_satisfied field.

🔗 Related Issues or PRs

#3092

✅ Checklist

• All: Ran fast static checks to avoid unnecessary CI fails, see also Code Standards and Verifying Changes:

  just static

• All: PR title have the form <type>(<area>):, where <type> and <area> come from an approrpriate C-<type>, respectively A-<area>, label. The title should match the a target squash commit message.
• All: Considered updating the online docs in the ./docs/ directory.
• All: Set appropriate labels for the changes (only maintainers can apply labels).
• Tests: For PRs implementing a missed test case, update the post-mortem document to add an entry the list.
• Ported Tests: Add the following docstring to manually enhanced tests from ./tests/ported_static/:

  @manually-enhanced: Do not overwrite. Post-state expectations corrected
  manually (see PR #2784).
  

Cute Animal Picture

[jihoonsong]

@spencer-tb I missed a few spots and I've realized you were blazingly fast after I fixed it 😅

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
⚠️ Please upload report for BASE (eips/bogota/eip-7805@6720f62). Learn more about missing BASE report.

Additional details and impacted files

@@                   Coverage Diff                   @@
##             eips/bogota/eip-7805    #3095   +/-   ##
=======================================================
  Coverage                        ?   90.50%           
=======================================================
  Files                           ?      535           
  Lines                           ?    32913           
  Branches                        ?     3025           
=======================================================
  Hits                            ?    29787           
  Misses                          ?     2607           
  Partials                        ?      519           

Flag	Coverage Δ
unittests	90.50% <ø> (?)

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

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.