Standard output
198915 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14084410827510256559.key
200024 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
202306 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
202306 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14084410827510256559.key
202306 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
202369 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
202384 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command12207049864356712356.key
203432 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
205654 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
205669 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command12207049864356712356.key
205669 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
205701 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''