core: split InferenceContext dictionaries

[superlopuh]

When inferring, we know which dictionary to look into, same for when we construct the InferenceContext, so we might as well split it. PR-1 to using the ConstraintContext during inference.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 90.17%. Comparing base (261d757) to head (537c67d).
Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #4000   +/-   ##
=======================================
  Coverage   90.16%   90.17%           
=======================================
  Files         458      458           
  Lines       58298    58312   +14     
  Branches     5691     5694    +3     
=======================================
+ Hits        52567    52580   +13     
  Misses       4340     4340           
- Partials     1391     1392    +1     

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

[alexarice]

Looks good, we could consider trying to split up the extractors but that would be a larger change

[superlopuh]

You have foretold the future 🔮