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