TestEqualsModProofIrrelevancy

1294324    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 
1294325    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 432.6ns 
1294327    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1294639    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1294639    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1294640    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1294640    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1295518    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1300870    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.54s 
1300932    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1302021    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.05s 
1302023    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 
1302023    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 271ns 
1302028    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1306932    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 
1306994    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1307504    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 480.75ms