TestTermParserHeap

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

tests
0

failures
0

ignored
0.236s

duration
100%

successful

Tests

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

Standard output

391282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398847     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398847     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
420911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420911     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420911     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443043     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443043     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443043     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) 
446655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461150     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461150     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461150     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469280     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469295     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469295     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469295     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480240     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480240     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480240     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480240     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
498270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
498270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
498270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
498270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
501959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501959     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501959     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
523630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0