explicit is_top_level initialization + additional tests