TestEqualsModProofIrrelevancy

1184845    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 
1184845    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.1ns 
1184848    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1185041    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1185042    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1185042    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1185043    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1185679    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1190649    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.8s 
1190709    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1191421    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 673.76ms 
1191423    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 
1191423    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 391.4ns 
1191425    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1196042    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 
1196109    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1196606    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 459.77ms