Added more list_is_empty integration
Updated TODO