TestTermParserHeap

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

tests
0

failures
0

ignored
0.186s

duration
100%

successful

Tests

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

Standard output

350442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353854     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353854     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353854     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353854     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353854     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353854     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353854     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353854     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353854     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353854     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
357191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367229     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367229     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370555     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370555     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370555     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373883     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373883     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
380438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380438     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383738     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383738     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387020     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387020     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393662     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393662     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393678     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
393678     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393678     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396968     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396968     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396968     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396984     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) 
400256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419989     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419989     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437268     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437268     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437268     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
437284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443815     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443815     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447141     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
453668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
456965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473370     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0