CPSolver.Search.ValueSelector.Random (Fixpoint v0.9.0)