TestTermParserHeap

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

tests
0

failures
0

ignored
0.306s

duration
100%

successful

Tests

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

Standard output

542433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
542449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547794     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547809     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
547809     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547809     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547809     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547809     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547809     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547809     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547809     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547809     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547809     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547809     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547809     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547809     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547809     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563812     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563812     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574433     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574433     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584751     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
600652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605739     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605739     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
616104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
616104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
616104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
616104     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) 
621323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621323     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621323     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621323     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621323     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621323     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621323     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
626665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
626665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
626665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
626665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658622     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658622     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668934     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668934     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668951     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668951     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668951     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
674193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
684468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709325     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709325     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735311     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735311     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
735326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735326     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735326     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735326     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
740612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
740612     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
740612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
740612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0