Section Header

    + name := ANY_AVL_SET_NODE;

Section Insert

    - parent_object:OBJECT :=