Handle and and or

[sklam]

Desugar and and or into control-flow constructs so that they are handled in the SCFG

[esc]

Notes: https://snarky.ca/unravelling-boolean-operations/

[esc]

co-pilot suggests this test case:

diff --git i/numba_rvsdg/tests/test_ast_transforms.py w/numba_rvsdg/tests/test_ast_transforms.py
index bfc7dc08df..fc09927927 100644
--- i/numba_rvsdg/tests/test_ast_transforms.py
+++ w/numba_rvsdg/tests/test_ast_transforms.py
@@ -1227,6 +1227,31 @@ class TestAST2SCFGTransformer(TestCase):
             arguments=arguments,
         )

+    def test_and(self):
+        def function(x: int, y: int) -> int:
+            if x and y:
+                return 0
+            return 1
+
+        expected = {
+            "0": {
+                "instructions": ["x == 0", "y == 0"],
+                "jump_targets": ["1", "2"],
+                "name": "0",
+            },
+            "1": {
+                "instructions": ["return 0"],
+                "jump_targets": [],
+                "name": "1",
+            },
+            "2": {
+                "instructions": ["return 1"],
+                "jump_targets": [],
+                "name": "2",
+            },
+        }
+        self.compare(function, expected, arguments=[(0, 0), (0, 1), (1, 0)])
+

 class TestEntryPoints(TestCase):

[esc]

The CFG that is constructed looks like:

but this is not de-sugared, need to figure out what de-sugaring means in this context