TestEqualsModProofIrrelevancy

1233223    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 
1233224    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 347ns 
1233226    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1233496    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1233496    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1233497    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1233497    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1234410    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1239762    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.54s 
1239821    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1241157    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.31s 
1241159    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 
1241159    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.4ns 
1241161    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1246069    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 
1246126    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1246616    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 460.2ms