TestTermParserHeap

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

tests
0

failures
0

ignored
0.198s

duration
100%

successful

Tests

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

Standard output

336130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
339484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342777     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342777     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346115     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346115     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346115     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346115     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346115     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346115     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346115     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346115     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346115     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346115     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346115     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346115     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346115     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346115     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346115     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346115     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346115     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346115     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346115     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346115     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
352713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372364     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372364     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372364     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378820     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378820     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382003     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) 
385209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385209     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388458     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388458     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388458     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388458     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388458     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388458     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388458     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388458     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388458     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388458     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388458     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394926     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394926     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
404586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404586     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404586     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404586     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404586     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
440038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443265     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443265     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
446745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
446745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
446745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
446745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450038     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450038     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
456384     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
456384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
456384     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0