I still could not reproduce the issue.
I tried SonarQube 9.7.1, but SonarQube 9.7 should be no different on this regard.
First I thought that the assert-modeling improvement was not part of SonarQube 9.7, but that infact should be part of that release:
I would recommend to upgrade to the latest SonarQube version to confirm that this issue is still present on that version. It’s important that we accept reports only covering the latest LTS or the latest release of SonarQube. Check out the download page. AFAIK we just released SonarQube 9.9.
If the your issue is still present on any of those versions of SonarQube, I would recommend creating a reproducer file that I could investigate. I think that would be the most efficient way of resolving your situation. For the steps, see my previous reply.