TestEqualsModProofIrrelevancy

809329     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 
809329     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 370.31ns 
809331     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
809527     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
809528     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
809528     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
809529     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
810003     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
813527     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 
813588     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
814324     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 717ms 
814326     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 
814326     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.5ns 
814328     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
817488     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 
817539     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
818045     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 488.95ms