TestEqualsModProofIrrelevancy

1437929    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 
1437929    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.4ns 
1437995    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1438261    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1438261    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1438261    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1438261    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1439152    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1445437    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 7.44s 
1445515    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1446625    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.07s 
1446625    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 
1446625    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 337.3ns 
1446640    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1452158    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 
1452221    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1452757    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 514.63ms