+++ /dev/null
-objectName source <+
-objectName value <- objectName
-refObj <- refObj
-refObj source <-
-refObj h_occurrence <- refObj h:occurrence
-refObj h_position <- refObj h:position
-refObj h_depth <- refObj h:depth
-refRel <- refRel
-refRel source <-
-refRel h_position <- refRel h:position
-refRel h_depth <- refRel h:depth
-refSort <- refSort
-refSort source <-
-refSort h_sort <- refSort h:sort
-refSort h_position <- refSort h:position
-refSort h_depth <- refSort h:depth
-backPointer <- backPointer
-backPointer source <- backPointer h:occurrence
-backPointer h_occurrence <-
-backPointer h_position <- backPointer h:position
-backPointer h_depth <- backPointer h:depth
-
-backPointer -> refObj
- ->