message: Fix printing of NEZ
  Summary: Print NEZ as "NEZ", not "GTZ" (I was questioning my sanity and the lattice while staring at logging output...)
diff: @@ -48,7 +48,7 @@ std::ostream& operator<<(std::ostream& os, Interval interval) {
  os << "GTZ";
  return os;
  case Interval::NEZ:
  - os << "GTZ";
  + os << "NEZ";
  return os;
  case Interval::EQZ:
  os << "EQZ";
  