TestEqualsModProofIrrelevancy

1001763    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 
1001763    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 420.9ns 
1001765    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1001956    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1001957    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1001957    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1001958    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1002580    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1006958    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 
1007031    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1008244    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.19s 
1008246    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 
1008246    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 236ns 
1008248    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1012192    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 
1012254    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1012952    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 673.36ms