Fix early return soundness in Laurel: replace assume false with exit#504

keyboardDrummer merged 3 commits intomainstrata-org/Strata:mainfrom

fabiomadge/early-return-soundnessstrata-org/Strata:fabiomadge/early-return-soundnessCopy head branch name to clipboard