-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 7
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 8
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 9
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 10
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 11
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 12
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 13
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 14
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 15
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 16
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 17
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 18
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 19
-VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:20 setverdict(pass): none -> pass
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:21 This line is reached last
+USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 7
+USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 8
+USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 9
+USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 10
+USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 11
+USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 12
+USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 13
+USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 14
+USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 15
+USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 16
+USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 17
+USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 18
+USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 19
+VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:27 setverdict(pass): none -> pass
+USER_UNQUALIFIED EmergencyLoggingTest.ttcn:28 This line is reached last