TestEqualsModProofIrrelevancy

1324815    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 
1324815    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.4ns 
1324817    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1325270    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1325278    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1325278    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1325278    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1326245    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1331689    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.87s 
1331755    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1332946    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.16s 
1332948    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 
1332948    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.4ns 
1332951    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1338092    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 
1338144    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1338645    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 468.81ms