Standard output
148863 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6323854017348624853.key
149676 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
151377 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns
151377 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6323854017348624853.key
151377 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
151424 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
151440 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6681955708302725827.key
152222 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
153935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns
153951 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6681955708302725827.key
153951 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
153982 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''