sawDangerOld ? NORMAL_PRIORITY : LOW_PRIORITY) .addClassAndMethod(this).addSourceLine(this, getPC()));
priority) .addClassAndMethod(this).addSourceLine(this, getPC()));
	private void reportBug() {		bugReporter.reportBug(new BugInstance(this, "NS_NON_SHORT_CIRCUIT",				sawDangerOld ? NORMAL_PRIORITY : LOW_PRIORITY)				.addClassAndMethod(this).addSourceLine(this, getPC()));	}