public static void addAllClassInstancesToCaseRule(Surrogate kind) {
    { Stella_Object instance = null;
      Cons iter000 = Logic.allClassInstances(kind);

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        instance = iter000.value;
        LogicObject.buildCaseFromInstance(((LogicObject)(instance)), kind);
      }
    }
    Logic.buildCaseRule(kind);
  }