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)