EMPTY.clone() must return EMPTY