!7

p {
  File f = loadLibrary(#1200000);
  L<S> names = endingWithIC(".ctx", listFilesInZip(f));
  for (S name : names) {
    L<S> lines = lines(loadTextFileFromZip(f, name));
    print(name + ": " + n(lines, "lines"));
    L<S> rules = [S s : lines | javaTokC(s).contains("RULE") ];
    for (S rule : rules) {
      Explain e = explain(rule, ctxParsingRules(), "rule");
      bool ok = eq(e.className(), "rule");
      print("  " + (ok ? "OK RULE" : "BAD RULE") + ": " + rule);
    }
  }
}