List.fold_left
(fun (j,s) _ ->
let curi = UriManager.uri_of_uriref uri i (Some j) in
- prerr_endline ("adding " ^ (UriManager.string_of_uri curi));
+(* prerr_endline ("adding " ^
+ * (UriManager.string_of_uri curi)); *)
j+1,Constr.UriManagerSet.add curi s) (1,s) cl in
(i+1,s)) (0,bag) tl)
| _ -> assert false)