TestTermParserHeap

all > de.uka.ilkd.key.parser > TestTermParserHeap
tests
failures
ignored
0.233s
duration
100%
successful
Tests
Standard output
Tests

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

522434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
522434     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
522434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
522434     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
527608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
527608     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
527608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
527608     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
532808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
532808     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
532808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
532808     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
537970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
537970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
537970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
537970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543010     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543010     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543010     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543010     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543010     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543010     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543010     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543010     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543010     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543010     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543010     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543010     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543010     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543010     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543010     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543010     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
543010     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
543010     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
543010     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
543010     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548007     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548007     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
552937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
552937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
552937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
552937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
557965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
557965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
557965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
557965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
563070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
563070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
563070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
563070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
568104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
568104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
568104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
568104     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
573178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
573178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
573178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
573178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
578178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
578178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
578178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
578178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
583168     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
583168     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
583168     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
583168     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
588437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
588437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
588437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
588437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
593462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
593462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
593462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
593462     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) 
598478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
598478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
598478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
598478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
598478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
603472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
603472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
603472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
603487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
608464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
608464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
608464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
608464     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
613406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
613406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
613406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
613406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
618402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
618402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
618402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
618402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
623389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
623389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
623389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
623405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
623405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
628322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
628322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
628322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
628322     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633367     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633367     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
633383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
633383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
633383     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
633383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
633383     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
638415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
638415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
638415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
638415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
643422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
643422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
643422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
643422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648481     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
648496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
648496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
648496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
648496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
653419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
653419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
653419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
653419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
658270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
658270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
658270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
658270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663162     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663162     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
663178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
663178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
663178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
663178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
668106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
668106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
668106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
668106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
673108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
673108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
673108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
673108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
678095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
678095     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
678095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
678095     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
683057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
683057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
683057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
683057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
688085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
688085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
688085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
688085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
693236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
693236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
693236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
693236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
698308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
698308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
698308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
698308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
703319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
703319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
703319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
703319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
708379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
708379     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
708379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
708379     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
713506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
713506     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
713506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
713506     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0