TestTermParserHeap

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

tests
0

failures
0

ignored
0.268s

duration
100%

successful

Tests

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

Standard output

567840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
567840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
567840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
567840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
567840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573341     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
589332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594403     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594403     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599578     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599578     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599578     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599578     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604740     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604740     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609846     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609846     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609846     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614999     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614999     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
620224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
620224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
620224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
620224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
620224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
631035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
631035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
631035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
631035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
636496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
636496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
636496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
636496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
641990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
641990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
641990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
641990     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
647773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
647773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
647773     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
647773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
647773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653427     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653427     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659056     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659056     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659056     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659056     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659056     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659056     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659056     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659056     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659056     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
659071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
659071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
659071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
659071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
664646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
664646     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
664646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
664646     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
670080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
670080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
670080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
670080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
670080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
670080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
670080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
670080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
670080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
670080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
670080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
670080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
670080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
670080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
670080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
670080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
670080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
670080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
670080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
670080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
675590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
675590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
675590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
675590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
686482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
692055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
692055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
692055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
692055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
692055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
692055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
692055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
692055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
692055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
692055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
692055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
692055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
692055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
692055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
692055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
692055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
692055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
692055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
692055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
692055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
697527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
697527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
697527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
697527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
714011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
714011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
714011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
714011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
719492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
719492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
719492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
719492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725004     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725004     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725004     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725004     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725004     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725004     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725004     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725004     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
725004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
725004     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
725004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
725004     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
730501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
730501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
730501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
730501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
735914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
735914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
735914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
735914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
741266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
741266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
741266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
741266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
741266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
741266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
741266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
741266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
741266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
741266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
741266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
741266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
741266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
741266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
741266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
741266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
741266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
741266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
741266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
741266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
746568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
746568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
746568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
746568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
751733     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
751733     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
751733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
751733     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
751733     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
751733     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
751733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
751733     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
751733     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
751733     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
751733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
751733     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
751733     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
751733     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
751733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
751733     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
751733     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
751733     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
751733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
751733     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
757223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
757223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
757223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
757223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
757223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
757223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
757223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
757223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
757223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
757223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
757223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
757223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
757223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
757223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
757223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
757223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
757223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
757223     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
757223     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
757223     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
762281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
762281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
762281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
762281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
762281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
762281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
762281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
762281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
762281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
762281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
762281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
762281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
762281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
762281     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
762281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
762281     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
762297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
762297     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
762297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
762297     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
767466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
767466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
767466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
767466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
767466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
767466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
767466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
767466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
767466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
767466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
767466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
767466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
767466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
767466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
767466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
767466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
767466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
767466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
767466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
767466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
772554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
772554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
772554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
772554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
772554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
772554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
772554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
772554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
772554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
772554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
772554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
772554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
772554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
772554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
772554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
772554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
772554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
772554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
772554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
772554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0