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 =
let classify c t =
try
- let vs, h = PEH.split_with_normalize (c, t) in
+ let vs, h = PEH.split_with_whd (c, t) in
let rc = classify_conclusion vs in
let map (b, h) (c, v) =
let _, argsno = PEH.split_with_whd (c, v) in