I think that the empty intersection of two rectangles should return
the sole instance of class  EmtpyRectangle  with semantics of
EmptyRectangle defined appropriately.
I think then all the problems go away unless there is code that
depends upon the current behavior.

Regards,

Ralph Boland