TestTermParserHeap

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

tests
0

failures
0

ignored
0.154s

duration
100%

successful

Tests

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

Standard output

531014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
531015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
536333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
536333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
536333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
536333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541485     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541485     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
541486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
541486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
541486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
541486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
541486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
546724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
546724     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
546724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
546724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
551923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
551924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
551924     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
551924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
551924     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556880     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
556881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
556881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
556881     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
556881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
556881     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
561907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
561907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
561907     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
561907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
561907     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
566974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
566974     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
566974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
566974     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572004     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572004     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572004     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572004     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572004     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572004     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
572004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
572004     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
572004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
572004     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577063     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577063     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
577064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
577064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
577064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
577064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
577064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582096     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
582097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
582097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
582097     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
582097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
582097     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587225     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587225     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
587226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
587226     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
587226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
587226     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
592440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
592440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
592440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
592440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
597822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
597822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
597822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
597822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
597822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
603103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603108     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) 
608526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608528     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
608529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608529     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608529     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608529     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608529     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613770     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613770     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613771     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
618940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618940     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618940     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
623870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
628801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633845     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633845     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
644013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
644013     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
644014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
644014     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
644014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
644014     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
644015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
644015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
644015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
644015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
644015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
644015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
644015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
644015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
644015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
644015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
644015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
644015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
644015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
644015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
649070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
649070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
649070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
649070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
649070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
649070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
649070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
649070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
649070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
649070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
649071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
649071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
649071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
649071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
649071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
649071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
649071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
649071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
649071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
649071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
654084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
654084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
654084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
654084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
654084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
659111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
664019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
669062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669062     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
669062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669062     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
669062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669062     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
669062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669062     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
669062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
669062     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
669062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
669062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
674103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
674103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
674103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
674103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
679172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
679172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
679172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
679172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
679172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684138     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684138     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
684139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
684139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
684139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
689219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
689220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
689220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
689220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694174     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694174     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
694175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
694175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
694175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
694175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
699216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
699216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
699216     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
699218     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
699218     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
704217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
704217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
704217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
704217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
704217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
709125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
709128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709128     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709128     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
709129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
709129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
709129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
709129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
714113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
719255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719256     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719256     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719256     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
719257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
719258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719259     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724189     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724189     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724189     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724190     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724190     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724190     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
724192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
724192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
724192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
724192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0