TestTermParserHeap

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

tests
0

failures
0

ignored
0.116s

duration
100%

successful

Tests

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

Standard output

440538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449230     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449230     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
449231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
449232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
449232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
449232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
453534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
453534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
457827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462218     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462218     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
462219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466432     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466432     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470658     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470658     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479207     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479207     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479207     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479207     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
479208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483524     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483524     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
488061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
488062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488062     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
492497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492497     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492497     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
501180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501183     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<155>,1:11] (termEOF) 
505393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
505393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
505394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
505394     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
505394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
505394     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
509640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
513832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
518084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
518084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
518084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
522591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
522592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
522593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526800     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
526800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
526801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
526801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531121     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
535315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
535315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
535315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
535315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
539634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
539634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
539634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
539634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
539634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543835     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543835     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543835     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
548189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552539     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
552539     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
556774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
560954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
560954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
560954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
560954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565238     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
565239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
565239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
565239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
565239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
569454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
569454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
569454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
569454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
586460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
586460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
586460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
586460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
590907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
590907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
590907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
590907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595347     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
595348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
595348     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
595348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
595348     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599603     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599603     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599603     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599603     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599603     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599603     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603844     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603844     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0