Added assertion against top level initialization
Completed top level tests