KLabel closeOperator = sortInfo.getCloseOperator(cellType); if (closeOperator == null) { throw KEMException.criticalError("No operator registered for closing cells of sort "
KLabel closeOperator = sortInfo.getCloseOperator(cellType); if (closeOperator == null) { throw KEMException.criticalError("No operator registered for closing cells of sort "