diff --git a/src/storm-dft-cli/storm-dft.cpp b/src/storm-dft-cli/storm-dft.cpp
index 9948af256..21f3cfecc 100644
--- a/src/storm-dft-cli/storm-dft.cpp
+++ b/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();