TestTermParserHeap

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

tests
0

failures
0

ignored
0.218s

duration
100%

successful

Tests

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

Standard output

335615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342307     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342307     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
355409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365056     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365056     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365056     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365056     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365056     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365056     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365056     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365056     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365056     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365056     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365056     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365056     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365056     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365056     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365056     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365056     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365056     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365056     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365056     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365056     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381175     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) 
384412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
390837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
397264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439101     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439101     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0