TestEqualsModProofIrrelevancy

1387885    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 
1387885    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.8ns 
1387916    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1388150    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1388150    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1388150    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1388150    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1388942    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1398068    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 10.15s 
1398162    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1399149    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 933.29ms 
1399149    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 
1399149    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 348.7ns 
1399149    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1404355    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 
1404417    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1404965    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 518.9ms