docs: protected StyledString text(SarlAction element) {
  		final JvmIdentifiableElement jvmElement = this.jvmModelAssociations.getDirectlyInferredOperation(element);
  		final String simpleName = element.getName();
  		if (simpleName != null) {
  			final QualifiedName qnName = QualifiedName.create(simpleName);
  			final QualifiedName operator = this.operatorMapping.getOperator(qnName);
  			if (operator != null) {
  				final StyledString result = signature(operator.getFirstSegment(), jvmElement);
  				result.append(" (" + simpleName + ")", StyledString.COUNTER_STYLER); //$NON-NLS-1$//$NON-NLS-2$
  				return result;
  			}
  		}
  		return signature(element.getName(), jvmElement);
  	}