[code-reflection] RFR: Change the model of the default label of switch [v2]

[Paul Sandoz]

On Fri, 6 Sep 2024 08:35:32 GMT, Mourad Abbay <mabbay at openjdk.org> wrote:

>> Model the default label of switch as a body that yield true, this makes the modeling consistent for all labels.
>
> Mourad Abbay has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Fix NullTest

Marked as reviewed by psandoz (Lead).

-------------

PR Review: https://git.openjdk.org/babylon/pull/223#pullrequestreview-2287034530