TestTermParserHeap

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

tests
0

failures
0

ignored
0.381s

duration
100%

successful

Tests

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

Standard output

398939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402910     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402910     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406804     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414340     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414340     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414340     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414340     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414340     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414340     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414340     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414340     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414340     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414340     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
421845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
421845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
421845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
421845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
425628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
425628     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
425628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
425628     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429365     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429365     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
429380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429380     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429380     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436963     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436963     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436963     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440683     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440683     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444344     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444344     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444344     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444344     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451802     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) 
455432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
459122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
459122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
459122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
459122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
470285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470285     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470285     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474021     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474021     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481745     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481745     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
493940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
493940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
493940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
493940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504947     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504947     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
519547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
519547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
519547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
519547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
523299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
523299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
523299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
523299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534605     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534605     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
542063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
542063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
542063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
542063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0