Bug: Rule Application in Antecedent not working
Steps to reproduce: Load the contraposition example and a script with the rules impRight; impLeft; Execute the script, set the execution marker and then try to select a rule in the antecedent. This results in a NullPointerException:
Exception in thread "JavaFX Application Thread" java.lang.NullPointerException at de.uka.ilkd.key.proof.SemisequentTacletAppIndex.getTacletAppAt(SemisequentTacletAppIndex.java:256) at de.uka.ilkd.key.proof.TacletAppIndex.getFindTaclet(TacletAppIndex.java:331) at de.uka.ilkd.key.proof.RuleAppIndex.getFindTaclet(RuleAppIndex.java:249) at de.uka.ilkd.key.control.AbstractProofControl.getFindTaclet(AbstractProofControl.java:123) at edu.kit.formal.gui.controls.TacletContextMenu.(TacletContextMenu.java:118) at edu.kit.formal.gui.controls.SequentView.onMouseClick(SequentView.java:76) ...