Use Dependency Contract: ignore all term labels

[FliegendeWurst]

Related Issue

This pull request resolves #3760.

Intended Change

None of the term labels should affect applicability of this rule

Type of pull request

• Bug fix (non-breaking change which fixes an issue)
• There are changes to the (Java) code

Ensuring quality

• I have tested the feature as follows: manually using the case from the issue

Additional information and contact(s)

The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 50.29%. Comparing base (ba0945c) to head (b24c9e5).
⚠️ Report is 139 commits behind head on main.

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #3776      +/-   ##
============================================
+ Coverage     47.99%   50.29%   +2.30%     
+ Complexity    16045    15986      -59     
============================================
  Files          1683     1605      -78     
  Lines         96053    91528    -4525     
  Branches      15390    14662     -728     
============================================
- Hits          46097    46035      -62     
+ Misses        44683    40228    -4455     
+ Partials       5273     5265       -8     

☔ View full report in Codecov by Sentry.
📢 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.