TestEqualsModProofIrrelevancy

911277     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 
911277     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 425.3ns 
911280     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
911465     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
911465     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
911466     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
911466     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
912098     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
915954     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s 
916018     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
916998     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 955.01ms 
917000     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 
917000     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.9ns 
917002     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
920587     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 
920657     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
921382     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 701.98ms