fix the order produced by `make_cnf_formula` In particular, the fix-point of `fun x -> OPAM.of_string (OPAM.to_string x)` is reached in 1 step now (instead of 2).
fix the order produced by `make_cnf_formula`
In particular, the fix-point of `fun x -> OPAM.of_string (OPAM.to_string x)` is reached in 1 step now (instead of 2).

abate/opam,abate/opam