add isEmpty spec
add isEmpty method