let nb_states = cp_nb_states#get