Fix the inference of the function coloring for static compilation

[amontoison]

@gdalle I will open a follow-up PR with C and Fortran interfaces but we first need to fix the inference of the function coloring.
I didn't wanted to change / break the current API so a quick workaround was to use @constprop :aggressive but we should think about a less hacky solution.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.61%. Comparing base (e8d80d6) to head (f177507).
⚠️ Report is 3 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #340      +/-   ##
==========================================
- Coverage   99.20%   97.61%   -1.60%     
==========================================
  Files          21       21              
  Lines        2151     2219      +68     
==========================================
+ Hits         2134     2166      +32     
- Misses         17       53      +36     

☔ 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.