TestTermParserHeap

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

tests
0

failures
0

ignored
0.279s

duration
100%

successful

Tests

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

Standard output

406300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418073     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418073     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421981     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
421981     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421981     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421981     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421981     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421981     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421981     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421981     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421981     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421981     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421981     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421981     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421981     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421981     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
441149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456268     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456268     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456268     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456268     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456268     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460005     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) 
463821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
471497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475328     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475328     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
486881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490666     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517056     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517056     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
517072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
532269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532269     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0