TestTermParserHeap

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

tests
0

failures
0

ignored
0.175s

duration
100%

successful

Tests

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

Standard output

537190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
537191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
542410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542412     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
542412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542412     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542412     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
542414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
552936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
558310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563566     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
563567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
568729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584339     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584339     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584340     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584340     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584340     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
584341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
589529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
594734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594734     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
610591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610593     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
610593     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
610593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
610594     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
610595     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='@',<155>,1:11] (termEOF) 
615763     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615763     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
615764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
615767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
615767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
615767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
615768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
615768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620920     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
620920     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620920     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620920     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
620923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631010     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
631010     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631010     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631010     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631010     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631010     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631010     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631010     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631010     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631010     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631010     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631010     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631010     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631010     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631010     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631010     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631010     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631010     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631010     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631010     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636121     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
636122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641367     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641367     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641367     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641367     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641367     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641367     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641367     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641367     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641367     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
646578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656781     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656781     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
656782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656782     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661929     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661929     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
667074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
667074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
667074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
667074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
667074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
672215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
672215     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
672215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
672215     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
677521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
677521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
677521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
677521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
682723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
682723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
682723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
682723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
682723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
682723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
682723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
682723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
682723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
682723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
682723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
682723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
682723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
682724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
682724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
682724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
682724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
682724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
682724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
682724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
687862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
687862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
687863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
687863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
687863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
687863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
687865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
687865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
687865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
687865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
687865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
687865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
687865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
687865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
687865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
687865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
687865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
687865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
687865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
687865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693024     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698107     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698107     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703359     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703359     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703359     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703360     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
703361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718956     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718956     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718956     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718956     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
718956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
718956     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
718956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
718956     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724078     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
724079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
729230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
729230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
729230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
729230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
729230     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
734368     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
734368     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
734368     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
734368     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
734368     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
734369     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
734369     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
734369     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
734369     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
734369     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
734369     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
734369     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
734369     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
734369     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
734369     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
734369     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
734369     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
734369     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
734369     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
734369     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0