Added test for double_empty