* @param stream
   * @param moduleName
   * @param environment
   */
  public static void sPrintRules(String name, OutputStream stream, String moduleName, Environment environment) {
    if (stream == null) {
      stream = Stella.STANDARD_OUTPUT;
    }
    { Proposition rule = null;
      PlIterator iter000 = PLI.sGetRules(name, moduleName, environment);

      while (iter000.nextP()) {
        rule = ((Proposition)(iter000.value));
        Logic.printLogicalForm(rule, stream);
        {
          stream.nativeStream.println();
          stream.nativeStream.println();
        }
;
      }
    }
  }