public static void printSatellites(Proposition forallprop) {
    { Proposition rule = null;
      Cons iter000 = forallprop.satellitePropositions().theConsList;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        rule = ((Proposition)(iter000.value));
        System.out.println(rule);
      }
    }
  }