let build_sufficient_index_cstr iof_c_n_j = match iof_c_n_j with | Size _ -> assert false | Iof (c_n, j) -> Ge ([ 1, Iof (c_n, j); ], j)