TestTermParserHeap

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

tests
0

failures
0

ignored
0.214s

duration
100%

successful

Tests

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

Standard output

410333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433675     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433675     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441351     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445184     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445184     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 31 ms 
460629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464460     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) 
468305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491494     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491494     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
499217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503047     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503047     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526171     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533878     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541617     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541617     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553248     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553248     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553248     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0