private K concatenateStarCells(Sort sort, List<K> children) { if (cfg.getMultiplicity(sort) != Multiplicity.STAR) { throw KEMException.compilerError("Attempting to concatenate cells not of multiplicity=\"*\" " + "into a cell collection.", children.iterator().next()); } if (children.size() == 0) { return cfg.cfg.getUnit(sort); } KLabel concat = cfg.cfg.getConcat(sort); int ix = children.size(); K result = children.get(--ix); while (ix > 0) { result = KApply(concat,children.get(--ix),result); } return result; }