Remove redundant condition in is_empty