Final polish concerning #543

Perhaps this should be called `Empty_rect_nondep`, or `Empty_rec` if we do `_ind` and `_rec` as discussed at #517.