TestTermParserHeap

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

tests
0

failures
0

ignored
0.204s

duration
100%

successful

Tests

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

Standard output

467504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
471698     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
471698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
471698     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484347     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496790     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496790     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
500928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513367     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513367     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525721     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525721     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525721     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) 
529835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
538098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
550472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
550472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
550472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
550472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
554637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
554637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
554637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
554637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558727     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558727     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558727     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
562849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
562849     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
562849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
562849     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
579296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596017     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596017     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596017     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
600306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
617402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0