TestTermParserHeap

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

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

361235     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key 
361235     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key 
361235     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key 
361298     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key 
361298     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key 
361298     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key 
361298     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key 
361391     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key 
361391     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key 
361391     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key 
361391     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key 
361407     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key 
361407     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key 
361407     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key 
361579     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
362799     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
362814     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
362814     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
365112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365112     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365112     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365144     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
366316     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
366316     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
366316     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368615     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368630     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368630     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368630     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368646     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
369787     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
369787     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
369803     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
372022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372038     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
373164     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
373164     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
373164     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
375446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375462     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
376603     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
376603     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
376603     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
378839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378839     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378855     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
379933     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
379933     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
379949     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
382246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382246     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382262     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
383309     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
383309     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
383325     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
385546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385546     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385546     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385546     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385561     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
386687     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
386687     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
386687     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
388892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388907     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
390002     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
390002     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
390017     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
392253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392268     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392268     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392268     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392268     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392268     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392268     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
393440     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
393440     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
393456     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
395755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395755     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395771     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
396964     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
396964     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
396980     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
399309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399325     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
400435     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
400435     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
400435     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
402765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402765     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402765     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402781     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
403938     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
403938     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
403938     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
406220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406220     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406220     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406220     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
407409     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
407409     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
407424     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
409707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409707     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409707     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409723     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
410817     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
410817     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
410817     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
413037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413037     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) 
413053     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
414179     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
414179     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
414194     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
416446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
416462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416462     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416462     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416462     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416462     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
417603     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
417603     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
417603     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
419870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419870     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419870     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419870     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
420980     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
420980     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
420995     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
423247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423263     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
424357     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
424357     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
424357     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
426577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426577     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426593     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
427720     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
427720     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
427720     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
429971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429971     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429971     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429986     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
431081     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
431081     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
431081     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
433425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433425     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433425     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433441     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
434566     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
434566     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
434582     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
436865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436865     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
436865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
436880     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
437975     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
437975     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
437991     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
440304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440320     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
441445     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
441445     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
441461     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
443759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443759     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
443759     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
443759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
443759     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
443775     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
444900     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
444900     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
444916     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
447312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447325     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
448466     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
448466     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
448466     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
450765     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450765     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
450780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450780     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
451859     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
451859     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
451875     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
454033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454048     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
455127     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
455143     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
455143     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
457301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457301     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457301     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457301     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457301     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457301     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457301     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457301     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457301     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457301     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457301     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457316     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
458395     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
458395     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
458410     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
460599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
460599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
460599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
460599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460614     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
461725     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
461725     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
461740     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
463991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
463991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
463991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
463991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464007     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
465132     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
465132     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
465148     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
467447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467447     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467447     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467478     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
468604     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
468604     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
468604     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
470996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
470996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
470996     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
470996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
470996     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471012     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
472168     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
472168     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
472185     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
474389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
474405     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
474405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
474405     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474420     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
475484     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
475484     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
475499     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
477752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477752     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477752     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477767     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
478846     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
478846     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
478862     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
481066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
481066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
481066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
481066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481066     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
482176     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
482176     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
482176     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
484412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484686     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484686     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484686     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484686     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 7 ms 
484693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484693     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
484709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484709     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
485928     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
485928     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
485944     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
488164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488164     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
488180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488180     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488180     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488180     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
489227     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
489227     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
489227     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
491417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491417     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491417     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491432     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
492511     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 
492526     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 
492526     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
494825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0