TestTermParserHeap

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

tests
0

failures
0

ignored
0.207s

duration
100%

successful

Tests

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

Standard output

459434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485196     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485196     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485196     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
510967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519580     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519580     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519595     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
523903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523903     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523903     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536894     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536894     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536894     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536894     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536894     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536894     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536894     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536894     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536894     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536894     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536894     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536894     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536894     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536894     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536894     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
545504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
545504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
545504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
545504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
549999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
549999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
549999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
549999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
558593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558593     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558593     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
571427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
597202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
601509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
601509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
601509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
601509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0