Fix the implications of precise usedefs on the compiler

[PaulKlint]

Some implications of the more precise used handling had not yet been propagated to the backend of the compiler.
This PR fixes this.

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 46%. Comparing base (9d901d5) to head (f7ff16b).

Additional details and impacted files

@@           Coverage Diff           @@
##              main   #2865   +/-   ##
=======================================
  Coverage       46%     46%           
- Complexity    6773    6775    +2     
=======================================
  Files          844     844           
  Lines        67103   67103           
  Branches     10022   10022           
=======================================
+ Hits         30892   30898    +6     
+ Misses       33839   33831    -8     
- Partials      2372    2374    +2     

☔ 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.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.