+ cellType.toString() + " when closing cell " + cell.toString()); LabelInfo.AssocInfo info = labelInfo.getAssocInfo(closeOperator); if (!info.isAssoc() && openLeft && openRight) { throw KEMException.criticalError(
+ cellType.toString() + " when closing cell " + cell.toString()); LabelInfo.AssocInfo info = labelInfo.getAssocInfo(closeOperator); if (!info.isAssoc() && openLeft && openRight) { throw KEMException.criticalError(