TestTermParserHeap

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

tests
0

failures
0

ignored
0.231s

duration
100%

successful

Tests

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

Standard output

367674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
375275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
389604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413571     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413571     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416967     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) 
420373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
420388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423623     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423623     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427054     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427054     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427054     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427054     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448369     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476477     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476477     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476477     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476477     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0