Set<Location> unconditionalDerefLocationSet = unconditionalDeref.getUnconditionalDerefLocationSet(value);
BugInstance bug;
if (unconditionalDerefLocationSet.size() > 1) {
bug = new BugInstance(this, "NP_GUARANTEED_DEREF", NORMAL_PRIORITY).addClassAndMethod(this);
bug.addOptionalAnnotation(variableAnnotation);
bug.addSourceLine(tested).describe("SOURCE_LINE_KNOWN_NULL");
for (Location dereferenced : unconditionalDerefLocationSet) {
bug.addSourceLine(getClassContext(), getMethod(), dereferenced).describe("SOURCE_LINE_DEREF");
}