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)