TestEqualsModProofIrrelevancy

1151774    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 
1151774    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.11ns 
1151777    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1152066    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1152066    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1152067    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1152067    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1152860    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1157933    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.16s 
1158011    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1158798    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 751.76ms 
1158801    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 
1158802    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 748.35ns 
1158807    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1163556    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s 
1163626    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1164192    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 530.06ms