Update Example34_FiniteStateDiagram_PathAnnotation.mp

Example34_FiniteStateDiagram_PathAnnotation.mp

@@ -42,7 +42,8 @@ Search terms: finite state diagram; path annotation; state transition; finite st
     1) Event Si_to_Sj contains the symbol triggering the transition. 
     2) Si_to_Sj is shared by corresponding state behavior roots.
 
-Instructions: Run for Scopes 1 and 2.					    
+Instructions: Run for Scopes 1 and 2.
+    Scope 1: 4 traces in less than 1 sec.
     Scope 2: 30 traces in approx. 9.4 sec.
 
 ==========================================================*/