512639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\complexBundleGeneration\test.key
512639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.1ns
512654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
513235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 587.98ms
513282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
513282 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
513298 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
513298 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
513298 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
513298 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
513329 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
513329 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
513329 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
513329 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
513329 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
513329 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
513329 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
513329 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
513438 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d.constant();)
513438 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d.constant();)
513438 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d.constant();)
513438 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d.constant();)
513454 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d;)
513454 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d;)
513454 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source this.d;)
513454 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source this.d;)
513454 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
513454 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
513454 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
513454 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
513470 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
513470 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
513470 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source d.constant();)
513470 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source d.constant();)
513485 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
513485 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
513485 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
513485 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
513548 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
513548 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
513548 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source result_constant_0)
513548 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source result_constant_0)
513579 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i)
513579 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i)
513579 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source i)
513579 DEBUG Thread-52 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source i)
513743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\complexBundleGeneration\test.zproof
513805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.3ms
513805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
514377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 572.98ms
514424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
514518 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 94.43ms
514518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\simpleBundleGeneration\test.key
514518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 590ns
514534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
518245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s
518307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
518307 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
518323 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
518323 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
518323 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
518323 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
518323 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
518323 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
518323 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
518323 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
518338 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
518338 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
518338 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source null;)
518338 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source null;)
518354 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 5)
518354 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 5)
518370 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern true;, source 5)
518370 DEBUG Thread-56 d.u.i.k.j.JavaProgramElement Program match failed (pattern false;, source 5)
518422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\src\test\resources\testcase\proofBundle\simpleBundleGeneration\test.zproof
518437 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.08ms
518437 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
522094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s
522156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::constant()].JML normal_behavior operation contract.0
522187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.04ms