TestTermParserHeap

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

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

271203     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 
271203     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 
271203     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 
271235     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 
271407     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 
271407     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 
271407     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 
271407     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 
271407     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 
271407     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 
271407     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 
271422     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 
271422     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 
271422     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 
271438     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
272313     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 
272313     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 
272313     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 
274018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
274018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
274018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
274018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
274018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
274018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
274018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
274018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
274018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
274018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
274033     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
274935     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 
274935     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 
274935     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 
276631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276631     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276631     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276646     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
277485     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 
277485     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 
277485     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 
279194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279194     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279194     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
280079     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 
280079     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 
280110     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 
281803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281803     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
282701     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 
282701     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 
282701     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 
284410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284410     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
285248     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 
285248     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 
285264     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 
286961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286961     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
287842     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 
287858     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 
287858     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 
289540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289540     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289540     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289540     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289540     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289555     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
290374     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 
290374     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 
290390     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 
292124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292140     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
292969     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 
292969     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 
292969     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 
294657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294673     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
295533     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 
295548     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 
295548     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 
297260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297260     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297260     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297260     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
297276     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
298104     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 
298120     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 
298120     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 
299787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299803     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
300659     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 
300659     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 
300659     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 
302332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302332     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
302332     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302332     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
302348     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
303161     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 
303176     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 
303176     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 
304887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304887     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304887     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304887     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
305714     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 
305714     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 
305730     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 
307408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307408     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307408     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307408     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307424     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
308273     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 
308273     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 
308289     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 
309954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309954     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) 
309970     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
310798     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 
310798     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 
310798     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 
312480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312495     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
313340     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 
313340     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 
313355     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 
315022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315022     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
315850     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 
315850     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 
315866     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 
317570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317570     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317570     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317570     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
318399     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 
318399     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 
318399     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 
320077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320092     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
320952     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 
320952     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 
320952     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 
322632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322632     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
323473     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 
323473     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 
323473     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 
325158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325158     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325158     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325158     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
326020     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 
326020     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 
326020     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 
327692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327692     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327692     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327692     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
328521     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 
328521     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 
328537     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 
330237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330237     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330237     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330237     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
331066     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 
331066     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 
331066     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 
332746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332746     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332746     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332761     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
333610     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 
333610     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 
333626     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 
335286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335286     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335286     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335286     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
336132     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 
336132     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 
336132     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 
337805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
337821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337821     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
338681     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 
338681     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 
338681     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 
340345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340360     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
341189     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 
341189     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 
341205     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 
342894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342894     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342894     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342894     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342894     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342894     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342894     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342894     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342894     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342894     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342894     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342894     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342894     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342894     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342894     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342894     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342910     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
343738     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 
343738     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 
343738     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 
345421     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345421     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345421     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345421     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345421     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345421     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345421     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345421     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345421     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345421     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345421     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345421     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345421     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345421     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345421     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345421     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345421     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345421     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345421     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345421     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345421     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
346281     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 
346281     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 
346281     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 
347954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347954     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347954     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347969     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
348798     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 
348798     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 
348798     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 
350472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350488     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
351349     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 
351349     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 
351349     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 
353023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353023     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353023     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353038     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
353867     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 
353867     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 
353867     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 
355579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355579     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355579     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
355595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355611     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
356439     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 
356439     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 
356439     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 
358118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358118     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
358985     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 
358985     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 
358985     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 
360657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360657     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360673     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
361502     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 
361502     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 
361502     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 
363170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363185     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
364029     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 
364045     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 
364045     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 
365702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365702     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365702     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365717     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
366585     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 
366585     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 
366585     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 
368270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368270     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368270     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368275     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
369104     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 
369104     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 
369104     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 
370768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0