TestEqualsModProofIrrelevancy

715226     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\..\..\..\..\..\key.ui\examples\heap\verifyThis15_1_RelaxedPrefix\relax.proof 
715226     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 908.7ns 
715304     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\..\..\..\..\..\key.ui\examples\heap\verifyThis15_1_RelaxedPrefix\relax.proof took 15 ms to parse. 
715304     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715307     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
715309     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/standardRules.key took 0 ms to parse. 
715309     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715311     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. 
715311     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715311     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. 
715311     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715311     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. 
715311     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715311     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. 
715311     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715311     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. 
715311     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715311     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. 
715311     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715311     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. 
715311     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715311     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. 
715311     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715311     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. 
715311     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715311     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. 
715311     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715311     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. 
715311     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715311     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. 
715311     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715311     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. 
715311     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715311     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. 
715311     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715326     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/propRule.key took 0 ms to parse. 
715326     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715326     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/firstOrderRules.key took 0 ms to parse. 
715326     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2018 ms. 
715342     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/ifThenElseRules.key took 16 ms to parse. 
715342     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2034 ms. 
715342     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/formulaNormalisationRules.key took 0 ms to parse. 
715342     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2034 ms. 
715358     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/updateRules.key took 0 ms to parse. 
715358     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2034 ms. 
715358     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/integerRulesCommon.key took 0 ms to parse. 
715358     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2034 ms. 
715358     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/intRules.key took 0 ms to parse. 
715358     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2034 ms. 
715358     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/intRulesUncheckedSemantics.key took 0 ms to parse. 
715358     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2034 ms. 
715358     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/intRulesCheckedSemantics.key took 0 ms to parse. 
715358     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2034 ms. 
715373     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/intRulesJavaSemantics.key took 15 ms to parse. 
715373     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2049 ms. 
715373     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/integerSimplificationRules.key took 0 ms to parse. 
715373     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2049 ms. 
715404     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
715404     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
715404     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
715404     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
715428     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/intDiv.key took 1 ms to parse. 
715428     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2050 ms. 
715428     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/bsum.key took 0 ms to parse. 
715428     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2050 ms. 
715444     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/bprod.key took 0 ms to parse. 
715444     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2050 ms. 
715459     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/binaryAxioms.key took 0 ms to parse. 
715459     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2050 ms. 
715459     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/binaryLemmas.key took 0 ms to parse. 
715459     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2050 ms. 
715459     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/intPow.key took 0 ms to parse. 
715459     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2050 ms. 
715475     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/floatRulesCommon.key took 16 ms to parse. 
715475     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2066 ms. 
715475     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/floatRules.key took 0 ms to parse. 
715475     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2066 ms. 
715475     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/floatRulesVerifyNormal.key took 0 ms to parse. 
715475     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2066 ms. 
715475     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/floatRulesAssumeStrictfp.key took 0 ms to parse. 
715475     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2066 ms. 
715475     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/genericRules.key took 0 ms to parse. 
715475     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2066 ms. 
715491     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/booleanRules.key took 0 ms to parse. 
715491     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2066 ms. 
715491     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/epsilon.key took 0 ms to parse. 
715491     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2066 ms. 
715491     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/locSetsRules.key took 0 ms to parse. 
715491     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2066 ms. 
715506     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/heapRules.key took 0 ms to parse. 
715506     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2066 ms. 
715522     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/permissionRules.key took 0 ms to parse. 
715522     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2066 ms. 
715538     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/reachRules.key took 0 ms to parse. 
715538     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2066 ms. 
715538     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/seqCoreRules.key took 0 ms to parse. 
715538     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2066 ms. 
715538     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/seqRules.key took 0 ms to parse. 
715538     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2066 ms. 
715553     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/seqPerm.key took 0 ms to parse. 
715553     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2066 ms. 
715569     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/seqPerm2.key took 0 ms to parse. 
715569     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2066 ms. 
715584     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/javaRules.key took 15 ms to parse. 
715584     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715584     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/assertions.key took 0 ms to parse. 
715584     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715772     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/loopRules.key took 0 ms to parse. 
715772     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715772     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/activeUse.key took 0 ms to parse. 
715772     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715788     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/instanceAllocation.key took 0 ms to parse. 
715788     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715803     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/java5.key took 0 ms to parse. 
715803     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715803     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/integerAssignment2UpdateRules.key took 0 ms to parse. 
715803     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715819     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/floatAssignment2UpdateRules.key took 0 ms to parse. 
715819     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715835     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/bigint.key took 0 ms to parse. 
715835     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715835     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
715835     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/adtProgramDecompositionRules.key took 0 ms to parse. 
715835     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715850     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/precRules.key took 0 ms to parse. 
715850     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715850     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/charListRules.key took 0 ms to parse. 
715850     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715850     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/regExTheory.key took 0 ms to parse. 
715850     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715866     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/regExHeader.key took 0 ms to parse. 
715866     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715866     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/regExAxioms.key took 0 ms to parse. 
715866     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715866     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/regExLemmaProven.key took 0 ms to parse. 
715866     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715866     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/seqEq.key took 0 ms to parse. 
715866     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715866     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/infFlow.key took 0 ms to parse. 
715866     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2081 ms. 
715882     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/mapSize.key took 16 ms to parse. 
715882     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2097 ms. 
715882     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/wd.key took 0 ms to parse. 
715882     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2097 ms. 
715882     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/wdHeader.key took 0 ms to parse. 
715882     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2097 ms. 
715882     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/wdGeneralRules.key took 0 ms to parse. 
715882     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2097 ms. 
715882     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/wdNumericalRules.key took 0 ms to parse. 
715882     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2097 ms. 
715897     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/wdLocSetRules.key took 0 ms to parse. 
715897     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2097 ms. 
715897     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/wdHeapRules.key took 0 ms to parse. 
715897     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2097 ms. 
715897     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/wdReachRules.key took 0 ms to parse. 
715897     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2097 ms. 
715913     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/wdSeqRules.key took 16 ms to parse. 
715913     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2113 ms. 
715913     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/wdStringRules.key took 0 ms to parse. 
715913     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2113 ms. 
715913     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/wdRegExRules.key took 0 ms to parse. 
715913     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2113 ms. 
715913     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/wdFormulaRules.key took 0 ms to parse. 
715913     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2113 ms. 
715913     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/loopInvariantRules.key took 0 ms to parse. 
715913     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2113 ms. 
715913     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/forLoopRules.key took 0 ms to parse. 
715913     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2113 ms. 
715928     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/execRules.key took 0 ms to parse. 
715928     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2113 ms. 
715967     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/loopScopeRules.key took 0 ms to parse. 
715967     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2113 ms. 
717077     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. 
717077     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2113 ms. 
718975     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 
719037     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
720178     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.13s 
720178     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\..\..\..\..\..\key.ui\examples\heap\verifyThis15_1_RelaxedPrefix\relax.proof took 0 ms to parse. 
720178     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2113 ms. 
720178     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\..\..\..\..\..\key.ui\examples\heap\verifyThis15_1_RelaxedPrefix\relax.proof 
720178     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.4ns 
720193     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\..\..\..\..\..\key.ui\examples\heap\verifyThis15_1_RelaxedPrefix\relax.proof took 0 ms to parse. 
720193     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2113 ms. 
720193     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
721069     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. 
721069     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2113 ms. 
722837     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 
722883     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
723431     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 527.49ms 
723431     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\..\..\..\..\..\key.ui\examples\heap\verifyThis15_1_RelaxedPrefix\relax.proof took 0 ms to parse. 
723431     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 2113 ms.