Clone bugfix/gh 18901 reachability#15

Open

visz11 wants to merge 3 commits intomasterfrom

clone-bugfix/gh-18901-reachability

Commits on Apr 20, 2025

Make infer_condition_value recognize the whole truth table
sterliakov
committed

Commits on Apr 21, 2025

Test that we do not try to handle other operators
sterliakov
committed
Remove short-circuiting logic here, it is safe to check truthiness of any stmt - there are no error reports. Make MYPY_* vs ALWAYS_* consistent.
sterliakov
committed