jar: count non-linear rules in Copster output.
OCaml program.