TestEqualsModProofIrrelevancy

856660     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 
856661     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 392.91ns 
856662     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
856888     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
856889     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
856890     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
856890     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
857721     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
861340     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 
861397     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
862734     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.32s 
862736     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 
862736     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.31ns 
862737     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
865969     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 
866013     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
866732     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 703.57ms