Section Header

    + name := ANY_HASHED_BIJECTIVE_DICTIONARY_NODE;

Section Insert

    - parent_object:OBJECT :=