Fixed bug with internal solver mass-downgrading on some requests

Not totally sure about the completeness of the fix ; @samoht could you have a look at
what's happening ?
Merge pull request #1779 from OCamlPro/fix-internal-downgrade

Fixed bug with internal solver mass-downgrading on some requests