TestTermParserHeap

all > de.uka.ilkd.key.parser > TestTermParserHeap
tests
failures
ignored
0.182s
duration
100%
successful
Tests
Standard output
Tests

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

289411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295006     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295006     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295006     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295006     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327746     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) 
330478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333213     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333213     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338661     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338661     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
346995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349720     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349720     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349720     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
352471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352471     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352471     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352471     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366076     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366076     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366076     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366076     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366076     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366076     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366076     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366076     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366076     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366076     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366076     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366076     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366076     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366076     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366076     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368791     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368791     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
371499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379636     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379636     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382353     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382353     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387814     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387814     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0