let cp_random_rule = new option_cp int_wrappers ~group ["random_seeds";"rule"] ~short_name:"rr" (Some 0)
  "If empty (random_seed = \"None\"), creates a fresh random seed at each execution."