TestTermParserHeap

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

tests
0

failures
0

ignored
0.258s

duration
100%

successful

Tests

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

Standard output

534544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539731     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539731     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544778     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544778     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554930     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564902     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564902     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564902     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564902     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564902     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564902     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564902     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564902     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564902     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564902     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
574789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594519     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604466     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<155>,1:11] (termEOF) 
609408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
634126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
634126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
634126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
634126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
634126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
634126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
634126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
634126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
634126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
634126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
634126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
634126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
634126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
634126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
634126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
634126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
639054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
639054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
639054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
639054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
639054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
639054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
639054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
639054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
639054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
639054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
639054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
639054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
639054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
639054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
639054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
639054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
639069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
639069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
639069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
639069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
648908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648908     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648908     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658758     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658758     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 4 ms 
668738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
678646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688421     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688421     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688421     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688421     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688421     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703267     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703267     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
708194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0