TestTermParserHeap

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

tests
0

failures
0

ignored
0.255s

duration
100%

successful

Tests

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

Standard output

527503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532730     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532730     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548290     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548290     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548290     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548290     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
553419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
553419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563619     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563619     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573857     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573857     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
579009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
579009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
579009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
579009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
584103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
584103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
584103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
584103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
584103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
589187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
589187     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
589187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
589187     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594301     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594301     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594301     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594301     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594301     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594301     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594301     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594301     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
594301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
594301     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
594301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
594301     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599359     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599359     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599359     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599359     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599359     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599359     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599359     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599359     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
599359     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
599359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
599359     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
599374     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='@',<155>,1:11] (termEOF) 
604454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
604454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
604454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
604454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
604454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
609568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
609568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
609568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
609568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
614610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
614610     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
614610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
614610     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
619936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
619936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
619936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
619936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
625242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
625242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
625242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
625242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630303     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630303     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630303     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630303     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630303     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630303     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630303     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630303     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
630303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
630303     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
630303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
630303     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
635402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
635402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
635402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
635418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
640520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
640520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
640520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
640520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
645597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
645597     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
645597     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
645597     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
650705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
650705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
650705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
650705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
655839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
655839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
655839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
655839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
655839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
655839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
655839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
655839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
655839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
655839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
655839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
655839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
655839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
655839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
655839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
655839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
655839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
655839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
655839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
655839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
660936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
660936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
660936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
660936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
660936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
660936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
660936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
660936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
660936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
660936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
660936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
660936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
660936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
660936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
660936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
660936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
660936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
660936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
660936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
660936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
666086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
666086     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
666086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
666086     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
671214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
671214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
671214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
671214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
676315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
676315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
676315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
676315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
676315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
681409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
681409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
681409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
681409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
686548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
686548     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
686548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
686548     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
691639     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
691639     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
691639     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
691639     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
696712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
696712     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
696712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
696712     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
701836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
701836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
701836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
701836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
706975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
706975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
706975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
706975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
712075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
712075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
712075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
712075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
717166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
717166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
717166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
717166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
722283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
722283     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
722283     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
722283     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0