let print_state_label fmt st = 
  Format.fprintf fmt "@[<2>%s:@ %s@]" (state_label st.nums) st.name