20090209
  Complain when a var declaration specifies the variable to be in
a disjoint union of intervals involving an infinity.
