Corrected define guards in some header files

src/formula/StateNoBoundOperator.h

@@ -5,8 +5,8 @@
  *      Author: Thomas Heinemann
  */
 
-#ifndef STATENOBOUNDOPERATOR_H_
-#define STATENOBOUNDOPERATOR_H_
+#ifndef STORM_FORMULA_STATENOBOUNDOPERATOR_H_
+#define STORM_FORMULA_STATENOBOUNDOPERATOR_H_
 
 #include "src/formula/AbstractFormula.h"
 #include "src/formula/AbstractPathFormula.h"
@@ -145,4 +145,4 @@ private:
 
 } /* namespace formula */
 } /* namespace storm */
-#endif /* STATENOBOUNDOPERATOR_H_ */
+#endif /* STORM_FORMULA_STATENOBOUNDOPERATOR_H_ */

src/formula/SteadyStateNoBoundOperator.h

@@ -5,8 +5,8 @@
  *      Author: thomas
  */
 
-#ifndef STEADYSTATENOBOUNDOPERATOR_H_
-#define STEADYSTATENOBOUNDOPERATOR_H_
+#ifndef STORM_FORMULA_STEADYSTATENOBOUNDOPERATOR_H_
+#define STORM_FORMULA_STEADYSTATENOBOUNDOPERATOR_H_
 
 #include "StateNoBoundOperator.h"
 
@@ -91,4 +91,4 @@ public:
 
 } /* namespace formula */
 } /* namespace storm */
-#endif /* STEADYSTATENOBOUNDOPERATOR_H_ */
+#endif /* STORM_FORMULA_STEADYSTATENOBOUNDOPERATOR_H_ */