TestTermParserHeap

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

tests
0

failures
0

ignored
0.160s

duration
100%

successful

Tests

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

Standard output

495117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
504741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504742     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504742     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
509443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509443     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509443     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
509444     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
514141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518851     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518851     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518854     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518855     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518855     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
528227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532960     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
532961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532962     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
532962     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537529     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537529     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
537531     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537531     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537532     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537532     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
542320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
547192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
552123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556969     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
556970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
561742     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
561743     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
561744     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561744     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
561745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561755     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
566455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
566455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
566456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
571193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
571193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
571193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
571193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
575897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
575897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
575897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
575897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
575897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
580538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
580538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
580538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
580539     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
585224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
585225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
585225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
585225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
585225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
589892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594652     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594652     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594652     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594652     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599259     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
599260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604036     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604036     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608733     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608734     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608734     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608734     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608735     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608735     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608735     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608735     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608735     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
608737     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608737     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
613555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
618312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
622983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
622985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
622985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
622985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
622985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
627589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
627589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
627589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
627589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
627589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
632256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
632257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
632257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
632257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
632257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
637032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
637032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
637032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
637032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
637032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
641939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
641940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646618     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646618     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
646619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
646619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
646619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
646619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
651384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
651384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
651384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
651384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
651384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
656492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
656492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
656492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
656492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
661526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
661526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
661526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
661527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
666332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
666333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
671161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675988     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675988     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
675989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0