2 objectName value <- objectName
5 refObj h_occurrence <- refObj h:occurrence
6 refObj h_position <- refObj h:position
7 refObj h_depth <- refObj h:depth
10 refRel h_position <- refRel h:position
11 refRel h_depth <- refRel h:depth
14 refSort h_sort <- refSort h:sort
15 refSort h_position <- refSort h:position
16 refSort h_depth <- refSort h:depth
17 backPointer <- backPointer
18 backPointer source <- backPointer h:occurrence
19 backPointer h_occurrence <-
20 backPointer h_position <- backPointer h:position
21 backPointer h_depth <- backPointer h:depth
22 no_inconcl_aux source <-
23 no_inconcl_aux no <- no_inconcl