fix maze2 example

lib/stormpy/examples/files/pomdp/maze_2.prism

@@ -24,7 +24,7 @@ observables
 endobservables
 // o=0 - observation in initial state
 // o=1 - west and north walls (s0)
-// o=2 - north and south ways (s1 and s3)
+// o=2 - north and south walls (s1 and s3)
 // o=3 - north wall (s2)
 // o=4 - east and north way (s4)
 // o=5 - east and west walls (s5, s6, s7, s8, s9 and s10)
@@ -69,7 +69,7 @@ module maze
 	[south] s=2 -> (s'=6) & (o'=5);
 
 	[east] s=3 -> (s'=4) & (o'=4);
-	[west] s=3 -> (s'=2) & (o'=2);
+	[west] s=3 -> (s'=2) & (o'=3);
 	[north] s=3 -> (s'=3);
 	[south] s=3 -> (s'=3);
 
@@ -103,8 +103,8 @@ module maze
 	[north] s=9 -> (s'=6);
 	[south] s=9 -> (s'=13) & (o'=7);
 
-	[east] s=10 -> (s'=9);
-	[west] s=10 -> (s'=9);
+	[east] s=10 -> (s'=10);
+	[west] s=10 -> (s'=10);
 	[north] s=10 -> (s'=7);
 	[south] s=10 -> (s'=12) & (o'=6);
 
@@ -135,5 +135,6 @@ endrewards
 
 // target observation
 label "goal" = o=7;
+label "bad" = o=6;