Enabled smart GSPN transformation

src/storm-dft-cli/storm-dft.cpp

@@ -114,7 +114,7 @@ void processOptions() {
             std::shared_ptr<storm::storage::DFT<double>> dft = loadDFT<double>();
             // Transform to GSPN
             storm::transformations::dft::DftToGspnTransformator<double> gspnTransformator(*dft);
-            bool smart = false;
+            bool smart = true;
             gspnTransformator.transform(smart);
             storm::gspn::GSPN* gspn = gspnTransformator.obtainGSPN();
             uint64_t toplevelFailedPlace = gspnTransformator.toplevelFailedPlaceId();