TestTermParserHeap

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

tests
0

failures
0

ignored
0.196s

duration
100%

successful

Tests

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

Standard output

341155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341155     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341155     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341155     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341155     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341155     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341155     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341155     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341155     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341155     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341155     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344450     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344450     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
351070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
351070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
351070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
351070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354397     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354397     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373560     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373560     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386358     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) 
389569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392753     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392753     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
392769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
405541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
405541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
405541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
405541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408688     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
408704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
408704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
408704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
412253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
412253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
412253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
415413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
415413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
415413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
415413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418588     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418588     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
418604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421754     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421754     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424941     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424941     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
428162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
428162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
428162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
428162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453626     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453626     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0