TestEqualsModProofIrrelevancy

1229426    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 
1229426    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 377.2ns 
1229428    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1229781    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1229781    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1229782    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1229783    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1230728    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1236090    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.66s 
1236166    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1237341    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.14s 
1237342    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 
1237342    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.9ns 
1237345    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1242180    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 
1242231    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1242731    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 468.14ms