fixed config print of labels

util/PrismModulesPrinter.cpp

@@ -78,6 +78,10 @@ namespace prism {
       }
     }
 
+    if (!configuration.empty()) {
+      printConfiguration(configuration);
+    }
+
     return os;
   }