abt: New function abt_is_empty().