let somedisj pool id = 
  let cudfpool = Depsolver_int.strip_cudf_pool pool in
  let (depends,_) = cudfpool.(id) in
  if List.length depends > 0 then
    try
      List.iter (function (_,[_]) -> () | _ -> raise Not_found) depends;
      false
    with Not_found -> true
  else false