TestTermParserHeap

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

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

377571     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 
377571     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 
377571     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 
377571     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 
377571     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 
377586     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 
377586     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 
377586     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 
377586     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 
377586     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 
377586     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 
377586     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 
377586     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 
377586     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 
377602     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
379089     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 
379089     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 
379089     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 
381461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381493     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
382668     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 
382668     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 
382668     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 
385065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385065     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385065     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385065     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385065     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385081     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
386238     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 
386238     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 
386238     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 
388592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388592     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388592     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388607     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388607     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388623     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
389759     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 
389759     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 
389759     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 
392133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392133     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392133     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392133     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392148     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
393321     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 
393321     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 
393321     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 
395660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395660     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395660     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395676     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
396802     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 
396802     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 
396817     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 
399105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399105     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399105     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399121     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
400231     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 
400231     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 
400231     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 
402564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
402564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
402564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
402564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
402564     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
403724     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 
403724     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 
403740     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 
406094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
406094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
406094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
406094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
406109     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
407239     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 
407239     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 
407254     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 
409572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
409572     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
409572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
409572     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
409587     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
410732     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 
410732     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 
410748     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 
413029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413029     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413029     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413046     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
414204     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 
414204     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 
414220     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 
416503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416519     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
417632     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 
417632     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 
417632     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 
419935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419935     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419950     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
421060     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 
421060     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 
421060     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 
423352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423352     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
424471     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 
424471     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 
424487     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 
426797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426797     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426813     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
427932     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 
427932     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 
427932     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 
430177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430177     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
430177     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
430177     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
430177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430177     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) 
430193     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
431334     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 
431350     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 
431350     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 
433616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433616     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433616     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433633     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
434754     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 
434754     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 
434769     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 
437067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437067     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437067     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437067     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437083     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
438262     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 
438262     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 
438278     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 
440600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440600     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440615     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
441772     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 
441772     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 
441788     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 
444084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444099     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
445253     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 
445253     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 
445253     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 
447492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447507     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
448638     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 
448638     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 
448654     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 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
450927     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
450942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
450942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
450942     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
452079     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 
452079     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 
452095     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 
454423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
454439     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
454439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
454439     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
454439     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
455569     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 
455569     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 
455585     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 
457893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
457893     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
457893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
457893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
457909     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
459011     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 
459011     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 
459027     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 
461319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
461319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
461319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
461319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
461319     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
462438     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 
462438     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 
462438     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 
464872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
464888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
464888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
464888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
464903     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
466451     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 
466451     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 
466467     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 
468760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
468760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
468760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
468760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
468775     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
469915     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 
469915     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 
469915     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 
472175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
472175     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
472175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
472175     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
472190     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
473322     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 
473322     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 
473322     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 
475595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
475595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
475595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475611     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
476736     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 
476736     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 
476752     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 
479008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
479008     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
479008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
479008     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
479024     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
480158     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 
480158     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 
480173     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 
482414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
482414     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
482414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
482414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
482429     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
483524     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 
483524     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 
483540     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 
485856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
485856     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
485856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
485856     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485872     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
486977     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 
486977     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 
486977     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 
489236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
489236     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
489236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
489236     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489252     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
490362     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 
490362     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 
490362     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 
492664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
492664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
492664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
492664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492679     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
493805     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 
493821     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 
493821     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 
496084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
496084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
496084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
496084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496100     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
497277     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 
497277     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 
497277     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 
499565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499565     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499565     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499565     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499581     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
500721     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 
500721     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 
500721     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 
503051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
503051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
503051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
503051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503067     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
504213     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 
504213     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 
504213     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 
506502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506517     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
507628     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 
507628     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 
507643     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 
509933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
509933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
509933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
509933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
509949     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
511058     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 
511058     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 
511058     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 
513336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0