org.checkerframework.common.util.count