Stats.java

// @skip-tests Failing, but commented out to avoid breaking the build

import java.util.Map;
import org.checkerframework.checker.nullness.qual.*;

public class Stats {

    /*@Nullable*/ Map<Integer, String> inv_map = null;

    void dump() {

        assert inv_map != null : "@AssumeAssertion(nullness)";

        for (Integer inv_class : inv_map.keySet()) {
            inv_map.get(inv_class);
        }
    }
}