TestEqualsModProofIrrelevancy

1012762    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 
1012762    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.2ns 
1012762    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1012965    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1012965    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1012965    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1012965    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1013654    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1017719    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 
1017797    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1018610    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 785.05ms 
1018610    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 
1018610    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 357.5ns 
1018610    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1022158    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 
1022220    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1022861    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 637.87ms