TestTermParserHeap

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

tests
0

failures
0

ignored
0.246s

duration
100%

successful

Tests

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

Standard output

453080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457529     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457529     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457529     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457529     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457529     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457529     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457529     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457529     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457529     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457529     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461980     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461995     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483939     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483939     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
492674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501296     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501296     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509868     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509868     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
514143     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
514143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
514143     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514143     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) 
518431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
518447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522706     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522706     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527012     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527012     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531255     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
544193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
544193     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
544193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
544193     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
548582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548582     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548582     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552913     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552913     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552913     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
570198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
570198     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
570198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
570198     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
574493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
574493     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
574493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
574493     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
591685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
591685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
591685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
591685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595998     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595998     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
600256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
600256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
600256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
600256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604544     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617512     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617512     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617512     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617512     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617512     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617512     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617512     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617512     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
617512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
617512     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
617512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
617512     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0