Fix #20203 Improve Constant Foldings for `and`, `or`

This is a fix of issue #20203 (closed). It now works on the case (e .&. 0xFA) .&. 0xAF, which is described in the ticket. However, what I am not sure so far is whether additional cases should be either covered in the rule or added in the tests. Would you please review the changes and provide some thoughts on that? Thanks!