TestEqualsModProofIrrelevancy

688375     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 
688375     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.1ns 
688377     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
688502     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
688503     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
688503     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
688504     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
688943     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
691824     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 
691877     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
692437     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 544.64ms 
692439     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 
692439     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 263ns 
692441     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
695125     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 
695167     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
695507     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 326.92ms