`Int[x, x]` no longer works - a change in pattern matching ordering?

Mathics 7.0 works. 

Details in logs:

* [Rubi-7-Int-bad.log](https://github.com/user-attachments/files/32490167/Rubi-7-Int-bad.log)
* [Rubi-7-Int-bad-colorized.log](https://github.com/user-attachments/files/32490166/Rubi-7-Int-bad-colorized.log)
* [Rubi-7-Int.log](https://github.com/user-attachments/files/32490168/Rubi-7-Int.log)