TestEqualsModProofIrrelevancy

1397955    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 
1397955    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.9ns 
1397957    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1398266    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1398267    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1398268    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1398268    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1399309    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1405331    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 7.37s 
1405411    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1406337    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 885.03ms 
1406339    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 
1406339    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.2ns 
1406342    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1411801    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 
1411870    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1412545    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 638.85ms