colis: fourth meeting, determinism proof.
Handles etc.
jar: count non-linear rules in Copster output.
OCaml program.