public static StandardObject safeYieldTypeSpecifier(Stella_Object typetree) {
    if (typetree != null) {
      { StandardObject typespec = typetree.yieldTypeSpecifier();

        StandardObject.validateTypeSpecifier(typespec, null, true);
        return (typespec);
      }
    }
    else {
      return (null);
    }
  }