Treat null literals as carrying no information instead of failing - #311

Merged

CatarinaGamboa merged 2 commits into

mainfrom

fix/301-null-literals

Oct 2, 2026

Commits on Sep 30, 2026

Treat null literals as carrying no information instead of failing

CatarinaGamboa
and
claude
committed
5bf4604
Model null comparisons as unknown booleans instead of true

CatarinaGamboa
and
claude
committed
cedbdec