public void setMinCount(int newMin) {
		if (headCount < newMin) {
			GlobalOptions.err
					.println("WARNING: something got wrong with scoped class "
							+ clazzAnalyzer.getClazz() + ": " + newMin + ","
							+ headCount);
			new Throwable().printStackTrace(GlobalOptions.err);
			headMinCount = headCount;
		} else if (newMin > headMinCount)
			headMinCount = newMin;
	}