*/
  public static void deleteRules(Stella_Object relation) {
    { Proposition r = null;
      Cons iter000 = Logic.callGetRules(relation);

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        r = ((Proposition)(iter000.value));
        Proposition.destroyProposition(r);
      }
    }
  }