Introduce SolverScope.bestUninitializedVariableCount (should fix jenkins too :)