Set up BoundedGloballyFormula to methods of FormulaInformationVisitor.*

src/storm/logic/FormulaInformationVisitor.cpp

@@ -25,6 +25,10 @@ namespace storm {
             return FormulaInformation();
         }
 
+        boost::any FormulaInformationVisitor::visit(BoundedGloballyFormula const& f, boost::any const& data) const {
+            return f.getSubformula().accept(*this, data);
+        }
+        
         boost::any FormulaInformationVisitor::visit(BoundedUntilFormula const& f, boost::any const& data) const {
             FormulaInformation result;
             result.setContainsBoundedUntilFormula(true);

src/storm/logic/FormulaInformationVisitor.h

@@ -15,6 +15,7 @@ namespace storm {
             virtual boost::any visit(AtomicLabelFormula const& f, boost::any const& data) const override;
             virtual boost::any visit(BinaryBooleanStateFormula const& f, boost::any const& data) const override;
             virtual boost::any visit(BooleanLiteralFormula const& f, boost::any const& data) const override;
+            virtual boost::any visit(BoundedGloballyFormula const& f, boost::any const& data) const override;
             virtual boost::any visit(BoundedUntilFormula const& f, boost::any const& data) const override;
             virtual boost::any visit(ConditionalFormula const& f, boost::any const& data) const override;
             virtual boost::any visit(CumulativeRewardFormula const& f, boost::any const& data) const override;