TestEqualsModProofIrrelevancy

1356239    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 
1356239    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.6ns 
1356255    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1356520    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1356536    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1356536    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1356536    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1357474    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1363084    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.82s 
1363162    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1364209    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.02s 
1364209    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 
1364209    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.6ns 
1364209    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1369573    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 
1369636    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1370214    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 550.04ms