TestEqualsModProofIrrelevancy

864561     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 
864565     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.11ns 
864567     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
864846     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
864849     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
864850     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
864850     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
865410     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
869126     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s 
869195     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
870098     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 884.24ms 
870100     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 
870100     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.8ns 
870102     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
873488     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 
873545     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
874119     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 554.11ms