TestEqualsModProofIrrelevancy

1303920    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 
1303921    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 386.3ns 
1303923    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1304222    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1304223    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1304224    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1304224    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1305130    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1310684    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.76s 
1310763    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1312024    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.23s 
1312026    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 
1312026    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.8ns 
1312028    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1317162    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 
1317222    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1317732    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 475.19ms