C++: Fix bad magic in IRGuards

[MathiasVP]

I don't have tuple counts for when this went wrong, but I do have this lovely table row from someone at Microsoft:

1096m19s |     1 | 1096m19s @ 1    | IRGuards::GuardConditionFromBinaryLogicalOperator.comparesEq/4#749f53a9#ffbff@5d4f1frn

... Yes, that's 18 hours 😂 I guessed that the 2nd (3rd) parameter being bound by magic had something to do with it, and the end-to-end time went down to 2 hours after these changes 🎉

[Copilot]

Pull Request Overview

This PR adds pragma[nomagic] annotations to four override predicates in the GuardConditionFromBinaryLogicalOperator class to optimize query performance in the C++ control flow analysis library.

• Adds pragma[nomagic] to the comparesLt and comparesEq predicate overrides
• Improves query performance by preventing magic sets expansion on these recursive predicates
• No functional code changes, only performance optimization annotations

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.