public Sort leafCellType(KLabel label) { return cfg.leafCellType(labels.getCodomain(label)); } public List<Sort> getChildren(KLabel label) {
public Sort leafCellType(KLabel label) { return cfg.leafCellType(labels.getCodomain(label)); } public List<Sort> getChildren(KLabel label) {