As mentioned [here](https://github.com/eisop/checker-framework/pull/1290#issuecomment-3124846412), we should use support for only checking `NullMarked` code. This probably also depends on https://github.com/eisop/checker-framework/pull/1304.