+let rec depend eq id =
+ let (_,(p,_),(_,_,_,_),_,ideq) = open_equality eq in
+ if id = ideq then true else
+ match p with
+ Exact _ -> false
+ | Step (_,(_,id1,(_,id2),_)) ->
+ let eq1 = Hashtbl.find id_to_eq id1 in
+ let eq2 = Hashtbl.find id_to_eq id2 in
+ depend eq1 id || depend eq1 id2
+;;
+