Comment by gjadi

Null Analysis can be checked and enforced by the CI.