Simplify logical expressions containing True/False literals

[SamirDroubi]

No description provided.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 86.67%. Comparing base (773afdf) to head (c78e934).

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #609      +/-   ##
==========================================
+ Coverage   86.66%   86.67%   +0.01%     
==========================================
  Files          91       91              
  Lines       21362    21379      +17     
==========================================
+ Hits        18513    18530      +17     
  Misses       2849     2849              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[skeqiqevian]

LGTM. Was the motivation for this change the ability to leverage if statement conditions in simplification?

[SamirDroubi]

LGTM. Was the motivation for this change the ability to leverage if statement conditions in simplification?

Sometimes you start with procedures with a lot of conditions and as you specialize it, those conditions become always true or false. The Gemini code here that got fixed is one example. It is generally nice if those true/false disappeared because they clobber the code and to allow other simplifications to happen (like what happened in the Gemini code for example).