PR# 13571 Invariant violated when it should not be checked !

I may be wrong, but I don't think the invariant from SD_NOTEBOOK_UPPER "internal_tool_bar_not_void" should be check at this point.
The execution is still in the creation method "{SD_NOTEBOOK_UPPER}.make"


Exception tag:
Code: 6 (Class invariant violated.) Tag: internal_tool_bar_not_void
Exception message:
internal_tool_bar_not_void

Call stack:

ObjectClassRoutine
------------------
[0xDD71E18] SD_NOTEBOOK_UPPER object_id (From IDENTIFIED) ( @ 0 )
[0xDD71E18] SD_NOTEBOOK_UPPER add_notebook (From SD_WIDGETS_LISTS) ( @ 2 )
[0xDD71E18] SD_NOTEBOOK_UPPER make (From SD_NOTEBOOK) ( @ 28 )
[0xDD71E18] SD_NOTEBOOK_UPPER make ( @ 2 )
[0xDD71E08] SD_DOCKING_ZONE_UPPER make ( @ 7 )
[0xDD71DF4] SD_WIDGET_FACTORY docking_zone ( @ 7 )
[0xDD71E1C] SD_DOCKING_STATE make ( @ 7 )
[0xDD71E00] SD_STATE_VOID change_zone_split_area ( @ 4 )
[0xDD71E10] SD_CONTENT set_relative ( @ 8 )
[0xDD71E10] SD_CONTENT set_default_editor_position ( @ 6 )
[0xDD71E14] EB_EDITORS_MANAGER create_docking_content ( @ 13 )
[0xDD71E14] EB_EDITORS_MANAGER create_editor_beside_content ( @ 3 )
[0xDD71E14] EB_EDITORS_MANAGER create_editor ( @ 1 )
[0xDD71E14] EB_EDITORS_MANAGER make ( @ 12 )
[0xDD71E0C] EB_DEVELOPMENT_WINDOW_MAIN_BUILDER build_tools ( @ 11 )
[0xDD71E0C] EB_DEVELOPMENT_WINDOW_MAIN_BUILDER build_interface ( @ 18 )
[0xDD71E0C] EB_DEVELOPMENT_WINDOW_MAIN_BUILDER build_vision_window ( @ 12 )
[0xDD71DFC] EB_DEVELOPMENT_WINDOW_DIRECTOR internal_construct ( @ 12 )
[0xDD71DFC] EB_DEVELOPMENT_WINDOW_DIRECTOR construct ( @ 1 )
[0xDD71E20] EB_WINDOW_MANAGER create_window ( @ 2 )
[0xDD71E24] ES_GRAPHIC prepare (From ES_ABSTRACT_GRAPHIC) ( @ 17 )
[0xDD71E28] PROCEDURE fast_call ( @ 0 )
[0xDD71E28] PROCEDURE call ( @ 3 )
[0xDD71E2C] EV_NOTIFY_ACTION_SEQUENCE call (From ACTION_SEQUENCE) ( @ 22 )
[0xDD71E2C] EV_NOTIFY_ACTION_SEQUENCE call (From EV_LITE_ACTION_SEQUENCE) ( @ 3 )
[0xDD71E30] EV_APPLICATION_IMP call_post_launch_actions (From EV_APPLICATION_I) <R> ( @ 2 )
[0xDD71E30] EV_APPLICATION_IMP launch (From EV_APPLICATION_I) ( @ 1 )
[0xDD71E34] EV_APPLICATION launch <R> ( @ 4 )
[0xDD71E38] EB_KERNEL make ( @ 21 )

compile "ec" from revision rev#71112
enable the invariant
and run "ec -gui"   (at least on Windows XP SP2)

you will get that invariant violated.