TestEqualsModProofIrrelevancy

1357219    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 
1357219    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 474.51ns 
1357221    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1357589    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1357590    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1357591    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1357591    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1358468    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1364243    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 7.02s 
1364319    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1365598    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.24s 
1365600    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 
1365601    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 294.5ns 
1365602    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1370961    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 
1371030    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1371586    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 522.37ms