LIST_IS_EMPTY     214 src/search_full.cpp    ASSERT(!LIST_IS_EMPTY(list));
LIST_IS_EMPTY     246 src/search_full.cpp    ASSERT(!LIST_IS_EMPTY(list));