TestEqualsModProofIrrelevancy

833690     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 
833690     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 477.7ns 
833692     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
833924     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
833925     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
833926     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
833926     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
834512     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
838318     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 
838393     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
839532     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.12s 
839534     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 
839534     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.3ns 
839535     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
842902     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 
842953     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
843510     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 540.88ms