TestJMLParserAssociativity

332854     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 
332854     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 
332854     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
332854     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 
332854     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 
334992     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 
336064     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 
336064     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 
336080     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
336080     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 
336080     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 
338260     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 
339324     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 
339324     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 
339324     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
339340     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 
339340     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 
341521     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 
342656     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 
342656     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 
342656     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
342656     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 
342656     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 
344906     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 
346063     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 
346063     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 
346063     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
346063     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 
346078     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 
348223     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 
349318     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 
349318     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 
349318     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
349318     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 
349334     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 
351439     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 
352528     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 
352543     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 
352543     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
352543     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 
352543     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 
354707     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 
355864     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 
355864     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 
355864     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
355864     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 
355864     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 
358126     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 
359282     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 
359282     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 
359298     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
359298     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 
359298     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 
361410     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 
362537     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 
362537     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 
362553     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
362553     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 
362553     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 
364811     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 
365956     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 
365956     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 
365971     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\termParser\parserTest.key 
365971     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 
365971     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 
368160     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