Avoid creating propagators for implication of integer literals

[Dekker1]

No description provided.

[codecov]

Codecov Report

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

Files with missing lines	Patch %	Lines
crates/huub/src/model/flatzinc.rs	0.00%	27 Missing and 4 partials ⚠️

Files with missing lines	Coverage Δ
crates/huub/src/model/flatzinc.rs	43.89% <0.00%> (-1.23%)	⬇️

---

🚨 Try these New Features:

• Flaky Tests Detection - Detect and resolve failed and flaky tests

[codspeed-hq]

CodSpeed Performance Report

Merging #141 will degrade performances by 72.59%

_{Comparing Dekker1:feat/implied_int_view (4dec4ac) with develop (1f5ab40)}

Summary

❌ 1 regressions
✅ 12 untouched benchmarks

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Benchmarks breakdown

	Benchmark	develop	Dekker1:feat/implied_int_view	Change
❌	satisfaction[amaze3_2012_03_19]	773.9 ms	2,823.1 ms	-72.59%