fixed wrong optimization (wrong because it may affect the sequent's conclusion)
fixed wrong optimization (wrong because it may affect the sequent's conclusion)

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