* http://cs.unibo.it/helm/.
*)
+(* NOTE. Discharged variables are not well formed. *)
+(* For internal recursive use only. *)
+
(* discharges the explicit variables of the given object (with sharing) *)
(* the first argument is a map for relacating the names of the objects *)
(* the second argument is a map for relocating the uris of the dependencdes *)