Added region-node types to debug output.

Author: michael-emmi

lib/smack/Regions.cpp

@@ -190,7 +190,9 @@ bool Region::overlaps(Region &R) {
 
 void Region::print(raw_ostream &O) {
   // TODO identify the representative
-  O << "<Node>[" << offset << "," << (offset + length) << "]{";
+  O << "<Node:";
+  if (type) O << *type; else O << "*";
+  O << ">[" << offset << "," << (offset + length) << "]{";
   if (isSingleton())
     O << "S";
   if (bytewise)