TestZipProofSaving

403350     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest16836645522182483919.key 
403350     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.3ns 
403350     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
403460     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
403460     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
403460     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
403460     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for Meta 
403983     DEBUG Test worker     d.u.i.k.j.TypeConverter   No LDT found for JavaBigintExpression 
407018     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 
407050     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest16836645522182483919.key 
407050     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns 
407065     WARN  Thread-48       d.u.i.k.p.i.ApplyStrategy doWork exception java.lang.AssertionError: null
	at de.uka.ilkd.key.proof.Goal.setSequent(Goal.java:361)

407163     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest5451871853359700317.proof.gz 
407163     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.9ns 
407163     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
409876     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 
409891     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest5451871853359700317.proof.gz 
409891     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 547ns 
409907     WARN  Thread-50       d.u.i.k.p.i.ApplyStrategy doWork exception java.lang.AssertionError: null
	at de.uka.ilkd.key.proof.Goal.setSequent(Goal.java:361)

Exception in thread "Thread-48" java.lang.RuntimeException: Proof attempt failed due to exception:java.lang.AssertionError
	at de.uka.ilkd.key.util.ProofStarter.start(ProofStarter.java:254)
	at de.uka.ilkd.key.control.DefaultProofControl$AutoModeThread.run(DefaultProofControl.java:117)
Caused by: java.lang.AssertionError
	at de.uka.ilkd.key.proof.Goal.setSequent(Goal.java:361)
	at de.uka.ilkd.key.rule.executor.javadl.FindTacletExecutor.apply(FindTacletExecutor.java:131)
	at de.uka.ilkd.key.rule.Taclet.apply(Taclet.java:935)
	at de.uka.ilkd.key.rule.TacletApp.execute(TacletApp.java:349)
	at de.uka.ilkd.key.proof.Goal.apply(Goal.java:618)
	at de.uka.ilkd.key.prover.impl.ApplyStrategy.applyAutomaticRule(ApplyStrategy.java:117)
	at de.uka.ilkd.key.prover.impl.ApplyStrategy.doWork(ApplyStrategy.java:144)
	at de.uka.ilkd.key.prover.impl.ApplyStrategy.executeStrategy(ApplyStrategy.java:293)
	at de.uka.ilkd.key.prover.impl.ApplyStrategy.start(ApplyStrategy.java:261)
	at de.uka.ilkd.key.util.ProofStarter.start(ProofStarter.java:248)
	... 1 more
Exception in thread "Thread-50" java.lang.RuntimeException: Proof attempt failed due to exception:java.lang.AssertionError
	at de.uka.ilkd.key.util.ProofStarter.start(ProofStarter.java:254)
	at de.uka.ilkd.key.control.DefaultProofControl$AutoModeThread.run(DefaultProofControl.java:117)
Caused by: java.lang.AssertionError
	at de.uka.ilkd.key.proof.Goal.setSequent(Goal.java:361)
	at de.uka.ilkd.key.rule.executor.javadl.FindTacletExecutor.apply(FindTacletExecutor.java:131)
	at de.uka.ilkd.key.rule.Taclet.apply(Taclet.java:935)
	at de.uka.ilkd.key.rule.TacletApp.execute(TacletApp.java:349)
	at de.uka.ilkd.key.proof.Goal.apply(Goal.java:618)
	at de.uka.ilkd.key.prover.impl.ApplyStrategy.applyAutomaticRule(ApplyStrategy.java:117)
	at de.uka.ilkd.key.prover.impl.ApplyStrategy.doWork(ApplyStrategy.java:144)
	at de.uka.ilkd.key.prover.impl.ApplyStrategy.executeStrategy(ApplyStrategy.java:293)
	at de.uka.ilkd.key.prover.impl.ApplyStrategy.start(ApplyStrategy.java:261)
	at de.uka.ilkd.key.util.ProofStarter.start(ProofStarter.java:248)
	... 1 more