Small refactoring of getLabel and getName in SCSemantics