TestTermParserHeap

all > de.uka.ilkd.key.parser > TestTermParserHeap
39

tests
0

failures
0

ignored
0.264s

duration
100%

successful

Tests

Test Duration Result
testAccessStaticMembers() 0.009s passed
testAllFieldsSelector() 0.004s passed
testAtOperator_1() 0.004s passed
testAtOperator_2() 0.006s passed
testAtOperator_3() 0.002s passed
testAtOperator_4() 0.014s passed
testAtOperator_5() 0.005s passed
testAtOperator_6() 0.008s passed
testAtOperator_7() 0.006s passed
testAtOperator_8() 0.009s passed
testBracketHeapUpdate() 0.059s passed
testBugResettingCounter() 0.006s passed
testGenericObjectProperties() 0.006s passed
testLocationSets() 0.003s passed
testParsePrettyPrintedSelect() 0.005s passed
testQuantifiedSelect() 0.005s passed
testQueryBasic_1() 0.003s passed
testQueryBasic_10() 0.004s passed
testQueryBasic_11() 0.005s passed
testQueryBasic_2() 0.003s passed
testQueryBasic_3() 0.003s passed
testQueryBasic_4() 0.004s passed
testQueryBasic_5() 0.002s passed
testQueryBasic_6() 0.004s passed
testQueryBasic_7() 0.006s passed
testQueryBasic_8() 0.004s passed
testQueryBasic_9() 0.005s passed
testQueryInheritance_1() 0.005s passed
testQueryInheritance_2() 0.006s passed
testQueryInheritance_3() 0.005s passed
testQueryInheritance_4() 0.006s passed
testQueryInheritance_5() 0.005s passed
testQueryInheritance_6() 0.006s passed
testQueryInheritance_7() 0.004s passed
testQueryInheritance_8() 0.002s passed
testQueryInheritance_9() 0.003s passed
testStore() 0.012s passed
testUnknownConstant() 0.006s passed
testVerifyExceptionIfAtOperatorNotPreceededBySelectTerm() 0.010s passed

Standard output

538198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
543471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
574262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579375     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579375     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
604848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604848     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604848     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609926     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
615010     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
615025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635392     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635392     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635392     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635392     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635392     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635392     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635392     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635392     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635392     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635392     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635392     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635392     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635392     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635392     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635392     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
707024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
707024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
707024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
707024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
707024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
707024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
707024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
707024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
707024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
707024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
707024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
707024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
707024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
707024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
707024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
707024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
707024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
707024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
707024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
707024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
722214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732429     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732445     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732445     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0