feat: Make `True` and `False` branches unconditional#740

Merged

mark-koch merged 4 commits intomainfrom feat/smarter-analysis

Jan 15, 2025

+437-118

Commits on Dec 20, 2024

Commits on Jan 2, 2025

Allow unreachable code
mark-koch
committed