public static void thingifyUntypedInstances() {
    { LogicObject item = null;
      Iterator iter000 = Logic.allNamedInstances(((Module)(Stella.$MODULE$.get())), true);

      while (iter000.nextP()) {
        item = ((LogicObject)(iter000.value));
        if (Logic.allAssertedTypes(item) == Stella.NIL) {
          Logic.assertIsaProposition(item, Logic.SGT_STELLA_THING);
        }
      }
    }
  }