/** If {@code label} is a label making a cell collection, return the * Sort of the cells in that collection. */ public Sort getCellCollectionCell(KLabel label) { Option<Sort> result = cfg.getCellForConcat(label); if (result.isEmpty()) { result = cfg.getCellForUnit(label); } return result.isDefined() ? result.get() : null; } public KLabel getCellFragmentLabel(KLabel cellLabel) {