public boolean checkRootLabelCodes(LabelSet rlc) {
		if (rlc == null && rootLabelCodes == null) {
			return true; // or false ?
		} else if ((rlc == null && rootLabelCodes != null) || (rlc != null && rootLabelCodes == null)) {
			return false;
		} else if (rlc.size() != rootLabelCodes.size()) {
			return false;
		} else {
			for (SymbolTable table : rootLabelCodes.keySet()) {
				if (!rootLabelCodes.get(table).equals(rlc.get(table))) {
					return false;
				}
			}
			return true;
		}
	}