TestEqualsModProofIrrelevancy

1055460    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 
1055460    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 151ns 
1055479    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1055651    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1055651    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1055651    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1055651    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
1056261    DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
1060699    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 
1060762    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1061631    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 851.04ms 
1061647    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 
1061647    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.1ns 
1061647    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1065658    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 
1065705    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof Relaxed[Relaxed::isRelaxedPrefix([I,[I)].JML operation contract.0 
1066096    DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 368.05ms