TestTermParserHeap

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

tests
0

failures
0

ignored
0.277s

duration
100%

successful

Tests

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

Standard output

392813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
392829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392829     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392829     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403973     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403973     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414757     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414757     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414757     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414757     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414757     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414757     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414757     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414757     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414757     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414757     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414757     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414757     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414757     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414757     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414757     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414757     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414757     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414757     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414757     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414757     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432676     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436335     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443513     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) 
447113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450689     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450689     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450689     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450689     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450689     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461530     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
461546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465154     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472314     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472314     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472314     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472314     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472314     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472314     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472314     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472314     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472314     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472314     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472314     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472314     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472314     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472314     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472314     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472314     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475904     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475904     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475904     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
483140     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
500870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
500870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
500870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
504428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504428     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504428     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518741     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522354     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522354     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525928     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525928     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529515     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529515     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529515     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529515     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0