checker: Change in library on disk values, now using context_sets instead of
constraints only.
Fix compilation with ocaml 4.0.0