TestEqualsModProofIrrelevancy

942794     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 
942794     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.2ns 
942796     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
943025     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
943025     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
943026     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
943026     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
943720     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
948073     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 
948143     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
949157     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 994.65ms 
949158     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 
949159     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.5ns 
949160     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
952979     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 
953035     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
953760     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 706.5ms