Is a range empty? If this returns
True, then the
contains predicate will always return
False. However, if
this returns
False, it is not necessarily true that there
exists a point for which
contains returns
True. Consider
PGRange (Excludes 2) (Excludes 3) ::
PGRange Int, for example.