Array.iteri map b;
prerr_newline ()
+(* dummy dependences ********************************************************)
+
+let make l =
+ let map _ = I.S.empty, false in
+ List.rev_map map l
+
(* classification ***********************************************************)
let classify_conclusion vs =