* @return Stella_Object
   */
  public static Stella_Object destroy(Stella_Object objectspec) {
    { Stella_Object renamed_Object = null;

      if (Stella_Object.safePrimaryType(objectspec) == Logic.SGT_STELLA_CONS) {
        { Cons objectspec000 = ((Cons)(objectspec));

          renamed_Object = Logic.conceiveFormula(objectspec000);
        }
      }
      else {
        renamed_Object = Logic.coerceToInstanceInModule(objectspec, null, false, null);
      }
      if (renamed_Object != null) {
        Logic.destroyObject(renamed_Object);
      }
      return (renamed_Object);
    }
  }