TestEqualsModProofIrrelevancy

932959     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 
932960     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 440.2ns 
932962     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
933230     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
933231     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
933232     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
933232     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
934071     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
938358     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 
938426     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
940022     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.58s 
940024     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 
940024     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.2ns 
940026     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
943687     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 
943746     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
944355     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 589.34ms