TestTermParserHeap

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

tests
0

failures
0

ignored
0.205s

duration
100%

successful

Tests

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

Standard output

455877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455877     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455877     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455877     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455877     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455877     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455877     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455877     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455877     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455877     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455877     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460302     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460302     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468949     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468949     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473264     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473264     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477613     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
486164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
486164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
486164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
486164     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490449     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490449     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503504     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
507868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
507868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
507868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
512152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
512152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
512152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
512152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
512152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
516609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
516609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
516609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
516624     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
521050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
521050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
521050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
521050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
521050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525381     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525381     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525381     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525381     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
534027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534027     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
534027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534027     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
538468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
538468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
538468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
538468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547788     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547788     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547788     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547788     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
547803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
547803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
547803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
547803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565284     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565284     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569867     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569867     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
578418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582624     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582624     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
604138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
612861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
612861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
612861     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
612861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
612861     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
621522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
621522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
621522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
621522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0