diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp
index 0e6a9d627..146f842aa 100644
--- a/src/storm-pomdp-cli/storm-pomdp.cpp
+++ b/src/storm-pomdp-cli/storm-pomdp.cpp
@@ -239,12 +239,9 @@ int main(const int argc, const char** argv) {
         }
 
         if (formula) {
-            storm::logic::ProbabilityOperatorFormula const &probFormula = formula->asProbabilityOperatorFormula();
-            storm::logic::Formula const &subformula1 = probFormula.getSubformula();
-
-
             if (formula->isProbabilityOperatorFormula()) {
-
+                storm::logic::ProbabilityOperatorFormula const &probFormula = formula->asProbabilityOperatorFormula();
+                storm::logic::Formula const &subformula1 = probFormula.getSubformula();
                 std::set<uint32_t> targetObservationSet;
                 storm::storage::BitVector targetStates(pomdp->getNumberOfStates());
                 storm::storage::BitVector badStates(pomdp->getNumberOfStates());