Dont check for proper in division of to accomodate inference

[Nimrais]

No description provided.

[github-actions]

🤖 Code Formatting

Your PR still has some code formatting issues. I've updated PR #487 with the necessary formatting changes.

You can merge that PR into this branch to fix the code style check.

Alternatively, you can run make format locally and push the changes yourself.

[bvdmitri]

Previously a similar change broke tests in RxInfer. I cannot see if its different?

[Nimrais]

Previously a similar change broke tests in RxInfer. I cannot see if its different?

Yes it is. Right now we do not have a check for DivisionOf after substraction to be a proper distribution, we just raise a warning, in place of the exception.

[Nimrais]

@bvdmitri This line is the "main" change in this PR, that makes RxInfer test work.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 75.54%. Comparing base (b9137f6) to head (7ea5332).
Report is 22 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #486      +/-   ##
==========================================
+ Coverage   75.50%   75.54%   +0.03%     
==========================================
  Files         200      202       +2     
  Lines        5986     6016      +30     
==========================================
+ Hits         4520     4545      +25     
- Misses       1466     1471       +5     

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

[bvdmitri]

This again broke the tests in RxInfer https://github.com/ReactiveBayes/RxInfer.jl/actions/runs/16963872364