public static void ensureDescriptionBody(Description description) {
    if (((description.proposition == null) ||
        (description.proposition == Logic.TRUE_PROPOSITION)) &&
        Stella_Object.isaP(description, Logic.SGT_LOGIC_NAMED_DESCRIPTION)) {
      NamedDescription.materializePrimitiveDescriptionBody(((NamedDescription)(description)));
    }
  }