RESULT handling for Property: Invert order for picking RESULT

Now, the *first* RESULT that matches the model/property constants
is returned, previously it was the *last*. Inverting the order seems
to better match user expectations.



git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11548 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/parser/ast/Property.java

@@ -190,7 +190,9 @@ public class Property extends ASTElement
 				// Found it...
 				if (allMatch) {
 					strExpected = matcher.group(3);
-					continue;
+					// we return the expected answer for the first RESULT that matches
+					// the constants
+					break;
 				}
 			}
 		}