let build_sufficient_size_cstr c_n (nbones_c_n_u, nbones_c_n_v) =
  Ge
    ([  1, Size c_n ;
       -1, Iof (c_n, nbones_c_n_u + nbones_c_n_v) ;
        1, Iof (c_n, nbones_c_n_u + 1) ; ],
     1)