TestTermParserHeap

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

tests
0

failures
0

ignored
0.245s

duration
100%

successful

Tests

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

Standard output

475400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475400     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475400     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475400     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497866     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497866     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
497882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497882     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497882     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
533372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
533372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
533372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
533372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537890     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537890     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537890     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537890     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537890     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
537906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537906     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) 
542330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542330     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542330     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
555558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
555558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
555558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
555558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559967     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559967     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559967     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
559983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
559983     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
559983     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
559983     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
559983     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
564673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
564673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
564673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
564688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
564688     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
596271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
596271     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
596271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
596271     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
605153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
605153     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
605153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
605153     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
624509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
624509     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
624509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
624509     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
629261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
629261     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
629261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
629261     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633920     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
633920     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638298     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638298     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
638313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
642722     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
642722     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642722     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647117     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647117     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647117     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647117     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0