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