remove compilation error and improve associated feedback to user

src/storm-pomdp-cli/storm-pomdp.cpp

@@ -189,13 +189,10 @@ namespace storm {
                             if (result) {
                                 STORM_PRINT_AND_LOG("From initial state, one can almost-surely reach the target.");
                             } else {
-                                if (k == pomdp.getNumberOfStates()) {
-                                    STORM_PRINT_AND_LOG("From initial state, one cannot almost-surely reach the target.");
-                                } else {
+                                // TODO consider adding check for end components to improve this message.
                                 STORM_PRINT_AND_LOG("From initial state, one may not almost-surely reach the target.");
                             }
                         }
-                        }
 
                         if (qualSettings.isPrintWinningRegionSet()) {
                             search.getLastWinningRegion().print();