TestTermParserHeap

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

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

290015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
295632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322842     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322842     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322842     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328259     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328259     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328259     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328259     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328259     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328259     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328259     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) 
330924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344349     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344349     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357843     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357843     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363228     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363228     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
363229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371629     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
376948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382248     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382263     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382263     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0