-(* discharges the explicit variables of the given object (with sharing) *)
-(* the first argument is a map for relocating the uris of the dependencdes *)
+(* 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 *)