Section Header
    + name := LIMIT_X;
    - comment := "Sub structure for AREA.";
    - bibliography:= "http://IsaacOS.com";
    - author := "Benoit Sonntag (bsonntag@loria.fr), Jerome Boutet (boutet@loria.fr)";
    - version := 1;
Section Inherit
    - parent_object:OBJECT :=
Section Public
    + value:INTEGER;
    + plan:PLAN;
    + next:LIMIT_X;
    + prev:LIMIT_X;
Section Public
    - make x:INTEGER plan p:PLAN <-
    - create x:INTEGER plan p:PLAN :LIMIT_X <-
    - append old_root:LIMIT_X :LIMIT_X <-
    - remove old_root:LIMIT_X :LIMIT_X <-
    - set_value v:INTEGER <-
    - set_next new:LIMIT_X <-
    - set_prev new:LIMIT_X <-