TestEqualsModProofIrrelevancy

1133488    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 
1133488    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.6ns 
1133504    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1133707    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1133707    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1133707    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1133707    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1134426    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1139540    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.03s 
1139602    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1140524    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 890.34ms 
1140524    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 
1140524    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 599.2ns 
1140524    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1145218    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 
1145265    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1145671    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 379.04ms