TestTermParserHeap

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

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

378068     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 
378068     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 
378068     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 
378068     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 
378068     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 
378068     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 
378068     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 
378068     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 
378068     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 
378068     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 
378068     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 
378083     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 
378083     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 
378083     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 
378099     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
379350     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 
379350     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 
379365     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 
381679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381945     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
383118     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 
383118     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 
383118     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 
385431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385431     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385431     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385447     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
386604     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 
386604     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 
386619     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 
389011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389011     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389011     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389027     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
390200     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 
390200     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 
390216     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 
392576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392576     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392576     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392592     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
393717     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 
393717     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 
393737     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 
396064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396080     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
397221     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 
397221     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 
397221     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 
399534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399534     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399534     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399534     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399534     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399550     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
400723     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 
400723     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 
400738     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 
403114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403130     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
404256     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 
404256     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 
404256     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 
406679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406679     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406679     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406695     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
407899     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 
407899     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 
407914     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 
410306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410306     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410306     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410322     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
411495     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 
411510     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 
411510     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 
413825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413825     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413840     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
414997     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 
414997     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 
415012     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 
417391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
417391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
417391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
417391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
417405     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
418546     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 
418546     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 
418546     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 
420860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
420876     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
420876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
420876     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
420876     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
422016     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 
422016     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 
422032     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 
424362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
424362     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
424362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
424362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
424378     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
425488     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 
425503     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 
425503     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 
427863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
427863     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
427863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
427863     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427879     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
429114     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 
429114     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 
429130     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 
431537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
431537     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
431537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
431537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
431553     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) 
431553     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
432663     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 
432663     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 
432678     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 
434945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434945     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434945     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
434961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
434961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
434961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
434961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434961     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
436117     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 
436117     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 
436117     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 
438321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438321     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438321     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438321     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438321     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
439415     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 
439431     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 
439437     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 
441667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
441667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
441667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
441667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441682     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
442777     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 
442793     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 
442793     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 
445122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
445122     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
445122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
445122     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
445122     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
446262     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 
446262     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 
446278     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 
448670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
448670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
448670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
448670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
448670     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
449796     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 
449796     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 
449812     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 
452079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
452079     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
452079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
452079     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452094     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
453173     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 
453173     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 
453189     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 
455472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455488     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
456629     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 
456645     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 
456645     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 
458944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458944     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458944     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458959     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
460132     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 
460148     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 
460148     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 
462446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462446     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462446     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462446     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462446     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
463556     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 
463556     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 
463556     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 
465838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465853     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
465853     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
465853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
465853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
465853     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
467041     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 
467041     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 
467057     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 
469406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469406     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469422     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
470595     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 
470595     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 
470611     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 
473050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473066     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
474239     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 
474239     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 
474254     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 
476568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476568     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
476568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476568     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476568     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
477740     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 
477740     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 
477740     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 
480071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480071     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
481275     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 
481275     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 
481275     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 
483604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
483604     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
483604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
483604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
483620     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
484746     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 
484746     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 
484762     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 
487060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
487060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
487060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
487060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
487076     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
488280     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 
488280     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 
488295     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 
490640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
490640     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
490640     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
490640     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
490656     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
491828     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 
491844     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 
491844     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 
494147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
494147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
494147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
494147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
494163     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
495257     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 
495257     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 
495273     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 
497601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
497601     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
497601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
497601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
497617     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
498805     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 
498805     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 
498805     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 
501182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501182     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
501197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
501197     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
501197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
501197     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
501197     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
502401     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 
502401     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 
502422     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 
504746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504761     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
505918     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 
505918     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 
505918     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 
508217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
508217     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
508217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
508217     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
508232     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
509389     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 
509389     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 
509405     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 
511766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
511766     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
511766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
511766     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511766     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
512908     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 
512908     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 
512908     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 
515222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
515222     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
515222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
515222     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
515238     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
515238     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0