TestEqualsModProofIrrelevancy

943458     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 
943458     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.2ns 
943460     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
943875     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
943876     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
943876     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
943876     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
944575     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
948676     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 
948731     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
949827     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.08s 
949829     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 
949829     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 322.2ns 
949831     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
953590     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 
953640     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
954289     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 632.52ms