let cp_init_max_state_value = new int_cp ~group ["rule";"initializer";"integer_state";"init_max_state_value"]
  ~short_name:"iimax" 3 "upper bound for the value of a state in the initial random configuration"