let cp_nb_states = new int_cp ~group ["rule";"initializer";"integer_state";"nb_states"]
  ~short_name:"nbs" 4 "number of states"