TestTermParserHeap

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

tests
0

failures
0

ignored
0.268s

duration
100%

successful

Tests

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

Standard output

574005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590874     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590874     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590874     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590874     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
596454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
601938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607532     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607532     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607532     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607532     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607532     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607532     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607532     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607532     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
607532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
607532     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
607532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
607532     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613002     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613002     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640458     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640458     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640458     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640458     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640458     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640458     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640458     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640458     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640458     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640458     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651531     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) 
657035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
657051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
657051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
657051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
657051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
657051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
662559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
662559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
662559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
662559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
673538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
690174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
690174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
690174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
690189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
695459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
695459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
695459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
695459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
695459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
695459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
695459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
695459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
695459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
695459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
695459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
695459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
695459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
695459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
695459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
695459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
695459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
695459     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
695459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
695459     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
700725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
700725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
700725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
700725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
700725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
700725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
700725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
700725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
700725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
700725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
700725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
700725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
700725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
700725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
700725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
700725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
700725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
700725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
700725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
700725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
705891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
705891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
705891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
705891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
705891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
705891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
705891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
705891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
705891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
705891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
705891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
705891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
705891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
705891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
705891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
705891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
705891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
705891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
705891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
705891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
711334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
711334     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
711334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
711334     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
716633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
716633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
716633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
716633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
716633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
716633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
716633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
716633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
716633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
716633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
716633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
716633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
716633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
716633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
716633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
716633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
716633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
716633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
716633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
716633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
721845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
721845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
721845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
721845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
721845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
721845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
721845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
721845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
721845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
721845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
721845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
721845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
721845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
721845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
721860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
721860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
721860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
721860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
721860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
721860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
727123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
727123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
727123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
727139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
732540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
732540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
732540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
732540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
737949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
737949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
737949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
737949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
737949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
737949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
737949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
737949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
737949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
737949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
737949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
737949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
737949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
737949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
737949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
737949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
737949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
737949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
737949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
737949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
743300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
743300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
743300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
743300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
743300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
743300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
743300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
743300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
743300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
743300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
743300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
743300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
743300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
743300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
743300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
743300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
743300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
743300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
743300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
743300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
748742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
748742     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
748742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
748742     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
748742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
748742     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
748742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
748742     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
748742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
748742     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
748742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
748742     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
748742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
748742     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
748742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
748742     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
748742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
748742     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
748742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
748742     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
754194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
754194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
754194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
754194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
754194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
754194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
754194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
754194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
754194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
754194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
754194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
754194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
754210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
754210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
754210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
754210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
754210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
754210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
754210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
754210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
759673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
759673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
759673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
759673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
759673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
759673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
759673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
759673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
759673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
759673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
759673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
759673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
759673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
759673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
759673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
759673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
759673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
759673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
759673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
759673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
765137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
765137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
765137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
765137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
765137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
765137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
765137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
765137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
765137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
765137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
765137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
765137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
765137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
765137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
765137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
765137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
765137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
765137     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
765137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
765137     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
770646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
770646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
770646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
770646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
770646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
770646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
770646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
770646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
770646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
770646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
770646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
770646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
770646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
770646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
770646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
770646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
770646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
770646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
770646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
770646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
776266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
776266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
776266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
776266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
776266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
776266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
776266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
776266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
776266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
776266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
776266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
776266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
776266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
776266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
776266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
776266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
776266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
776266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
776266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
776266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
781667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
781667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
781667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
781667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
781667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
781667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
781667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
781667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
781667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
781667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
781667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
781667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
781667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
781667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
781667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
781667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
781667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
781667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
781667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
781667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0