TestEqualsModProofIrrelevancy

1326306    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 
1326306    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.4ns 
1326342    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1326624    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1326624    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1326624    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1326624    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1327593    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1332985    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.64s 
1333063    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1334314    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.22s 
1334314    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 
1334314    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 412.8ns 
1334330    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1339492    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 
1339570    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1340155    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 550.65ms