TestTermParserHeap

all > de.uka.ilkd.key.parser > TestTermParserHeap
39

tests
0

failures
0

ignored
0.196s

duration
100%

successful

Tests

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

Standard output

273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key took 0 ms to parse. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key took 0 ms to parse. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 0 ms to parse. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key took 0 ms to parse. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key took 0 ms to parse. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key took 0 ms to parse. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key took 0 ms to parse. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key took 0 ms to parse. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
273617     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key took 0 ms to parse. 
273633     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
273633     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key took 0 ms to parse. 
273633     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
273633     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key took 0 ms to parse. 
273633     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
273633     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key took 0 ms to parse. 
273633     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
273633     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key took 0 ms to parse. 
273633     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
273633     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key took 0 ms to parse. 
273633     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
273649     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
273649     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
274558     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
274558     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
276233     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
276233     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
276233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276233     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
276233     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
276233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276233     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
276233     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
276233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276233     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
276233     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
276233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276233     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
276233     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
276233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276265     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
276265     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
277158     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
277158     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
278899     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
278899     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
278899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278899     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
278899     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
278899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278899     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
278899     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
278899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278899     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
278899     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
278899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278899     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
278899     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
278899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278899     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278899     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278914     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
278914     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1169 ms. 
279826     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 16 ms to parse. 
279826     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1185 ms. 
281498     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
281498     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1185 ms. 
281498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281498     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
281498     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1185 ms. 
281498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281498     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
281498     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1185 ms. 
281498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281498     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
281498     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1185 ms. 
281498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281498     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
281498     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1185 ms. 
281498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281498     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
281498     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1185 ms. 
281498     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281498     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281498     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281498     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281498     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
281498     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1185 ms. 
282388     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
282388     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1185 ms. 
284108     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 16 ms to parse. 
284108     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1201 ms. 
284108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
284108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284108     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
284108     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1201 ms. 
284108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284108     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
284108     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1201 ms. 
284108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284108     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
284108     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1201 ms. 
284108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284108     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
284108     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1201 ms. 
284108     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284108     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284108     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
284108     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1201 ms. 
284944     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
284944     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1201 ms. 
286672     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
286672     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1201 ms. 
286672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286672     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
286672     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1201 ms. 
286672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286672     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
286672     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1201 ms. 
286672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286672     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
286672     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1201 ms. 
286672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286672     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
286672     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1201 ms. 
286672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286672     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286672     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286688     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
286688     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1201 ms. 
287566     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
287566     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
289257     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
289257     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
289257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289257     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
289257     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
289257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289257     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
289257     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
289257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289257     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
289257     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
289257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289257     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
289257     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
289257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289257     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289257     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289257     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
289257     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
290104     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
290104     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
291787     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
291787     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
291787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291787     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
291787     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
291787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291787     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291787     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291787     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
291803     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
291803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
291803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291803     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
291803     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
291803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291803     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
291803     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
291803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291803     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
291803     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
292660     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
292660     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
294319     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
294319     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
294319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294319     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
294319     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
294319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294319     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
294319     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
294319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294319     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
294319     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
294319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294319     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
294319     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
294319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294319     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294319     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294334     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
294334     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
295183     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
295183     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
296885     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
296885     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
296885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296885     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
296885     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
296885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296885     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
296885     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
296885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296885     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
296885     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
296885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296885     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
296885     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
296900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
296900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296900     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
296900     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
297729     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
297729     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
299423     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
299423     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
299423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299423     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
299423     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
299423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299423     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
299423     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
299423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299423     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
299423     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
299423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299423     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
299423     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
299423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299423     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299423     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299439     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
299439     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
300286     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
300286     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
301965     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
301965     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
301965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301965     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
301965     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
301965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301965     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
301965     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
301965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301965     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
301965     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
301965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301965     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
301965     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
301965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301965     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301965     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301965     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
301965     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
302804     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
302804     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
304474     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
304474     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
304474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304474     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
304474     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
304474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304474     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
304474     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
304474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304474     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
304474     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
304474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304474     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
304474     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
304474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304474     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304474     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304490     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
304490     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
305341     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
305341     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
307009     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
307009     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
307009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307009     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
307009     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
307009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307009     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
307009     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
307009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307009     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
307009     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
307009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307009     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
307009     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
307009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307009     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307009     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307009     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
307009     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
307876     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
307876     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
309551     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
309551     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
309551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309551     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
309551     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
309551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309551     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
309551     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
309551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309551     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
309551     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
309551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309551     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309551     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309551     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
309551     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
309567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
309567     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309567     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309598     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
309598     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
310463     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
310463     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
312120     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
312120     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
312120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312120     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
312120     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
312120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312120     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
312120     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
312120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312120     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
312120     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
312120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312120     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
312120     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
312120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312120     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312120     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312120     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) 
312136     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
312136     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
313001     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
313001     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
314673     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
314673     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
314673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314673     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
314673     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
314673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314673     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
314673     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
314673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314673     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
314673     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
314673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314673     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
314673     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
314673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314673     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314673     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314688     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
314688     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
315833     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
315833     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
317487     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
317487     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
317487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317487     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
317487     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
317487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317487     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
317487     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
317487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317487     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317487     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317502     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
317502     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
317502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317502     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
317502     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
317502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317502     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317502     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317502     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
317502     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
318364     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
318364     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
320031     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
320031     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
320031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320031     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
320031     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
320031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320031     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
320031     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
320031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320031     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
320031     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
320031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320031     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
320031     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
320031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320046     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
320046     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
320892     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
320892     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
322539     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
322539     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
322539     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322539     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322539     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322539     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322554     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
322554     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
322554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322554     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
322554     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
322554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322554     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
322554     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
322554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322554     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
322554     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
322554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322554     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
322554     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
323414     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
323414     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
325075     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
325075     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
325075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325075     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
325075     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
325075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325075     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
325075     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
325075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325075     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
325075     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
325075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325075     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
325075     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
325075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325091     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
325091     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
325938     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
325938     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
327598     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
327598     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
327598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327598     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
327598     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
327598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327598     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
327598     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
327598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327598     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
327598     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
327598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327598     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
327598     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
327598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327598     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327598     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327613     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
327613     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
328457     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
328457     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
330131     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
330131     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
330131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330131     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
330147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330147     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
330147     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
330147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330147     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
330147     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
330147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330147     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
330147     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
330147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330147     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
330147     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
330147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330147     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330147     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330147     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
330147     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1202 ms. 
331006     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 15 ms to parse. 
331006     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1217 ms. 
332659     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
332659     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1217 ms. 
332659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332659     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
332659     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1217 ms. 
332659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332659     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
332659     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1217 ms. 
332659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332659     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
332659     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1217 ms. 
332659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332659     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
332659     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1217 ms. 
332659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332659     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
332659     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1217 ms. 
333511     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
333511     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1217 ms. 
335186     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
335186     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1217 ms. 
335186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335186     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
335186     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1217 ms. 
335186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335186     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
335186     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1217 ms. 
335186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335186     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
335186     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1217 ms. 
335186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335186     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
335186     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1217 ms. 
335186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335201     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
335201     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1217 ms. 
336061     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 16 ms to parse. 
336061     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
337695     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
337695     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
337695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337695     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
337695     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
337695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337695     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
337695     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
337695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337695     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337695     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
337711     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
337711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
337711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337711     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
337711     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
337711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337711     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337711     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
337711     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
338577     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
338577     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
340252     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
340252     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
340252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340252     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
340252     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
340252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340252     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
340252     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
340252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340252     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
340252     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
340252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340252     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
340252     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
340252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340252     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340252     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340268     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
340268     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
341112     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
341112     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
342749     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
342749     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
342749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342749     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
342749     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
342749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342749     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342749     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342749     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
342749     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
342764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
342764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342764     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
342764     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
342764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342764     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
342764     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
342764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
342764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
342764     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
342764     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
343609     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
343609     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
345310     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
345310     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
345310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345310     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
345310     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
345310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345310     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
345310     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
345310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345310     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
345310     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
345310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345310     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
345310     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
345310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
345310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
345310     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
345310     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
346159     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
346159     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
347828     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
347828     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
347828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347828     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
347828     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
347828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347828     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
347828     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
347828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347828     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
347828     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
347828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347828     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
347828     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
347828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347828     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347828     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347843     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
347843     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
348672     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
348672     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
350337     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
350337     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
350337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350337     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
350337     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
350337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350337     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
350337     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
350337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350337     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
350337     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
350337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350337     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
350337     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
350337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350337     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
350337     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350337     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
350337     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
351192     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
351192     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
352862     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
352862     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
352862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352862     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
352862     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
352862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352862     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
352862     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
352862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352862     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
352862     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
352862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352862     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
352862     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
352862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352862     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352862     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352877     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
352877     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
353708     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
353708     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
355377     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
355377     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
355377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355377     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
355377     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
355377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355377     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
355377     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
355377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355377     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
355377     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
355377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355377     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
355377     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
355377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355377     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355377     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
355377     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1233 ms. 
356245     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 16 ms to parse. 
356245     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1249 ms. 
357901     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
357901     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1249 ms. 
357901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357901     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
357901     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1249 ms. 
357901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357901     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
357901     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1249 ms. 
357901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357901     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
357901     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1249 ms. 
357901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357901     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
357901     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1249 ms. 
357901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357901     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
357901     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1249 ms. 
358763     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
358763     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1249 ms. 
360391     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
360391     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1249 ms. 
360391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360391     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
360391     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1249 ms. 
360391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360391     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
360391     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1249 ms. 
360391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360391     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
360391     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1249 ms. 
360391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360391     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
360391     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1249 ms. 
360391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360407     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
360407     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1249 ms. 
361270     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 16 ms to parse. 
361270     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
362937     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
362937     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
362937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362937     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
362937     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
362937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362937     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
362937     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
362937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362937     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
362937     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
362937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362937     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
362937     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
362937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362953     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
362953     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
363799     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
363799     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
365480     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
365480     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
365480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365480     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
365480     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
365480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365480     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
365480     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
365480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365480     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
365480     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
365480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365480     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
365480     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
365480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365480     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365480     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365480     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
365480     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
366343     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
366343     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
367986     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
367986     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
367986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367986     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
367986     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
367986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367986     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
367986     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
367986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367986     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
367986     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
367986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367986     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
367986     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
367986     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367986     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367986     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
367986     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
368838     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
368838     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
370895     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
370895     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
370895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370895     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
370895     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
370895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370895     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
370895     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
370895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370895     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
370895     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
370895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370895     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
370895     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
370895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370911     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse. 
370911     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
371824     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
371824     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
373518     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
373518     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
373518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373518     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
373518     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
373518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373518     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
373518     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
373518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373518     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
373518     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
373518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373518     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
373518     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1265 ms. 
373518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0