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
no_inconcl_aux source    <- 
no_inconcl_aux no        <- no_inconcl 

backPointer -> refObj
            ->