prevent tactic from getting out of sync and wrongly attack next subgoal
prevent tactic from getting out of sync and wrongly attack next subgoal

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle