TestTermParserHeap

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

tests
0

failures
0

ignored
0.209s

duration
100%

successful

Tests

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

Standard output

363192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379204     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379204     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379204     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385201     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385201     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
385217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
391236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394316     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394316     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394316     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397398     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397398     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
400719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
400719     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
400719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
400719     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407033     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) 
410219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413527     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413527     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
413542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416665     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416665     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419736     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419736     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419736     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426239     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426239     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426239     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429563     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429563     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432654     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
439210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439210     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
439210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
442422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
442422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
442422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
442422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445516     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445516     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448732     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448732     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451837     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451837     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454873     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454873     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454873     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464111     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464111     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464127     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464127     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473331     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473331     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
479701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482774     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482774     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0