TestTermParserHeap

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

tests
0

failures
0

ignored
0.174s

duration
100%

successful

Tests

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

Standard output

298439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309850     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309850     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309850     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309850     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326465     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326465     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
326480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
329269     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337647     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) 
340439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343212     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343212     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343212     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343212     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
348864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
348864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
348864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
348864     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351642     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351642     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
365729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365729     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365729     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
368587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368587     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368587     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368587     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368587     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371388     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371388     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
388190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390972     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390972     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390972     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390972     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402157     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402157     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
404913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0