TestTermParserHeap

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

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

388577     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 
388577     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key 
389922     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 
389922     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 
389938     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
389938     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 
389938     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
392455     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
392455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
392470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392470     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392470     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
393736     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 
393736     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 
393751     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
393751     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 
393751     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
396176     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
396192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396192     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396192     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397458     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 
397458     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 
397473     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
397473     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 
397473     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
399976     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
399976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399976     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399976     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
399991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
399991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
399991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
399991     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401288     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 
401288     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 
401304     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
401304     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 
401320     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
403789     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
403789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
403789     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
403789     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
403789     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
403789     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404977     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 
404977     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 
404993     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
404993     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 
404993     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
407496     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
407496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
408699     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 
408699     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 
408715     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
408715     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 
408715     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
411170     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
411170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
411170     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411170     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
411185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
411185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
411185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
411185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
412374     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 
412374     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 
412374     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
412389     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 
412389     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
414828     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
414828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
414828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416016     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 
416016     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 
416016     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
416016     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 
416032     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
418523     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
418523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
418523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
418523     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
418523     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
418523     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419995     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 
419995     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 
419995     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
419995     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 
420011     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
422419     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
422419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
422419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
422419     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
422419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
422419     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423622     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 
423622     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 
423637     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
423637     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 
423637     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
426060     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
426060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426060     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426060     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
427264     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 
427264     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 
427264     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
427264     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 
427264     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
429672     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
429687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429687     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429687     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
430907     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 
430922     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 
430922     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
430922     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 
430922     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
433330     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
433345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
433345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
433345     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
433345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
433345     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
434565     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 
434565     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 
434581     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
434581     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 
434581     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
437005     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
437005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
437005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
437005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438209     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 
438209     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 
438224     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
438224     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 
438224     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
440632     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
440632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
440632     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
440632     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
440632     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
440632     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
441804     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 
441820     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 
441820     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
441820     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 
441836     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
444275     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
444275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
444275     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
444275     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
444275     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
444291     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) 
445494     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 
445494     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 
445510     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
445510     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 
445510     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
447965     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
447965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
447965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
447965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
447965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
447965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
449154     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 
449154     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 
449154     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
449169     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 
449169     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
451670     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
451670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
451670     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
451670     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
451670     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
451670     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
452827     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 
452827     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 
452843     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
452843     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 
452843     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
455266     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
455266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
455266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455266     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
455266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
455266     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
456501     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 
456501     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 
456517     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
456517     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 
456517     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
458942     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
458942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
458942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
458942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
458942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
458942     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
460161     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 
460161     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 
460176     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
460176     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 
460176     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
462567     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
462583     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462583     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
462584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
462584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
462584     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
462584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
462584     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
463818     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 
463818     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 
463834     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
463834     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 
463834     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
466257     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
466257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
466257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
466257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
466257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
466257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467445     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 
467445     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 
467461     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
467461     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 
467461     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
469869     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
469869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
469869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
469869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
469885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
469885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
471089     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 
471089     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 
471105     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
471105     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 
471105     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
473496     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
473496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
473496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
473496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
473496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
474685     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 
474685     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 
474685     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
474685     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 
474700     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
477139     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
477139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477155     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
477155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
477155     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
477155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
477155     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
478312     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 
478312     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 
478328     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
478328     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 
478328     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
480768     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
480768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
480768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
480768     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
480768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
480768     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
481956     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 
481956     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 
481972     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
481972     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 
481972     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
484426     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
484442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
484442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
484442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
485630     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 
485630     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 
485630     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
485645     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 
485645     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
488071     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
488071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488085     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488085     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
488085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
489257     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 
489257     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 
489257     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
489257     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 
489273     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
491664     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
491664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491664     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491664     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491664     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491664     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
491680     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
491680     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
491680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
491680     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492900     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 
492900     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 
492900     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
492900     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 
492900     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
495338     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
495338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
495338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
495338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
495338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
495338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
496589     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 
496589     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 
496604     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
496604     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 
496604     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
499028     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
499028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499028     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499028     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499028     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499028     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
499044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
499044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
499044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
499044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
500279     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 
500279     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 
500279     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
500279     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 
500295     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
502718     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
502718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
502718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
502718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
502718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
502718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
503906     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 
503906     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 
503922     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
503922     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 
503922     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
506361     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
506361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
506361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
506361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
506361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
506361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
507580     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 
507580     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 
507580     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
507580     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 
507595     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
510050     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
510050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
510050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
511255     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 
511255     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 
511271     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
511271     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 
511271     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
513693     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
513693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513693     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
513709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
513709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
513709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
513709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
513709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
514913     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 
514913     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 
514913     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
514913     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 
514913     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
517320     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
517320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
517320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
517320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
517320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
517320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
518523     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 
518523     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 
518539     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
518539     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 
518539     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
520932     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
520932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
520932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
520932     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
520932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
520932     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
522135     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 
522135     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 
522151     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
522151     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 
522151     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
524574     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
524574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
524574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
524574     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
524574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
524574     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525793     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 
525809     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 
525809     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
525809     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 
525809     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
528170     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
528185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528185     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528185     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529342     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 
529342     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 
529342     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
529342     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 
529358     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
531780     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 
531780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
531780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
531780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
531780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
531780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0