Virtual node emitted once per switch statement. It pairs the switch subject
with each non-default case condition so rules can inspect the loose ==
comparison the switch performs, using the scope captured at each case
(which already excludes the values matched by earlier cases).
|