+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