TestTermParserHeap

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

tests
0

failures
0

ignored
0.136s

duration
100%

successful

Tests

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

Standard output

379704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
391022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391024     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
391025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391026     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391026     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
394935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
398703     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398703     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
398705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
398708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402363     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402363     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402363     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402363     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
405977     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
409570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413211     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413211     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
416890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416890     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
420482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
424008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431116     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431122     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) 
434608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
441769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445272     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445272     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
448830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
452424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
456044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
459662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
466942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
470557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
474177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477810     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484824     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
484825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
484826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
488367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488367     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488367     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488367     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488367     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488367     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488367     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488367     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488367     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
492000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492000     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492000     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
495751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
495754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
499535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
510349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
517506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0