compiler: Tweak init_core/halo properties

[FabioLuporini]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 9 lines in your changes missing coverage. Please review.

Project coverage is 91.98%. Comparing base (adbf3bf) to head (f0c7368).
Report is 2 commits behind head on main.

Files with missing lines	Patch %	Lines
devito/ir/support/properties.py	0.00%	9 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #2558      +/-   ##
==========================================
- Coverage   91.99%   91.98%   -0.01%     
==========================================
  Files         244      244              
  Lines       47703    47709       +6     
  Branches     4196     4196              
==========================================
+ Hits        43884    43887       +3     
- Misses       3145     3150       +5     
+ Partials      674      672       -2     

Flag	Coverage Δ
pytest-gpu-aomp-amdgpuX	72.62% <0.00%> (-0.02%)	⬇️
pytest-gpu-nvc-nvidiaX	73.70% <0.00%> (-0.02%)	⬇️

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

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