public int getNumWriteNoRead() {
		return writenoread;
	}
Checks {@code ct} to see whether p-code section contains an {@link OpTpl} which
uses a varnode in the unique space which is larger than {@link SleighBase#MAX_UNIQUE_SIZE}.
@param ct constructor to check
@param ctpl is the specific p-code section
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/pcodeCPort/slgh_compile/ConsistencyChecker.java