Optimized modulus fails to simplify

[CX330Blake]

Version and Platform (required):

• Binary Ninja 5.3.9017-dev
• Edition: Non-Commercial
• OS: macOS
• OS Version: Sequoia 15
• CPU Architecture: M3

Bug Description:

Binja's result:

IDA's result:

Expected Behavior:
Like IDA's decompilation (the mod operation).

Binary:

vortex hexagon weaves gently

[CX330Blake]

Also, in other similar binary, it can also be decompiled as the following.