Symbol: ECORE_LIST_IS_EMPTY