TestEqualsModProofIrrelevancy

835765     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 
835765     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.6ns 
835767     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
836051     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
836051     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
836051     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
836052     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
836758     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
840716     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 
840800     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
841724     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 904.27ms 
841726     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 
841726     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.7ns 
841728     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
845140     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 
845191     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
845661     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 450.76ms