add C_is_empty
correct the name C_is_empty
add C_is_empty
add C_is_empty test