let dependency_closure ?(maxdepth=max_int) ?(conjunctive=false) univ idlist =
  let pool = init_pool_univ univ in
  dependency_closure_cache ~maxdepth ~conjunctive pool idlist