TestEqualsModProofIrrelevancy

943556     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 
943557     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 656.19ns 
943559     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
943803     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
943804     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
943804     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
943805     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
944593     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
948737     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s 
948816     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
949880     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.04s 
949882     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 
949882     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.4ns 
949883     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
953664     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s 
953718     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
954431     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 692.84ms