TestEqualsModProofIrrelevancy

1509577    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 
1509578    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.7ns 
1509582    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1509943    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1509943    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1509944    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1509944    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1510829    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1517082    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 7.5s 
1517166    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1518076    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 870.8ms 
1518079    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 
1518079    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.4ns 
1518082    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1523845    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.76s 
1523909    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1524521    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 573.49ms