protected void setInputToRead(String inputToRead) {
		/*
		 * if (!automata.StringChecker.isAlphanumeric(inputToRead)) throw new
		 * IllegalArgumentException("Label must be alphanumeric!");
		 */
		myInputToRead = inputToRead;
	}