BugInstance bugInstance = new BugInstance(this, "NP_GUARANTEED_DEREF", HIGH_PRIORITY) .addClassAndMethod(classContext.getJavaClass(), method);   TreeSet<Location> sortedAssignedNullLocationSet = new TreeSet<Location>(assignedNullLocationSet); for (Location loc : sortedAssignedNullLocationSet) { bugInstance.addSourceLine(classContext, method, loc).describe("SOURCE_LINE_NULL_VALUE"); }    TreeSet<Location> sortedDerefLocationSet = new TreeSet<Location>(derefLocationSet); for (Location loc : sortedDerefLocationSet) { bugInstance.addSourceLine(classContext, method, loc).describe("SOURCE_LINE_DEREF"); }   bugReporter.reportBug(bugInstance);
	public void foundGuaranteedNullDeref(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, ValueNumber refValue) {		// TODO: report for real		if (DEBUG) {			System.out.println("Found guaranteed null deref in " + method.getName());		}	}