Always_LeadsTo_pre. Always_LeadsTo_post: new equivalences suggested by Misra
Always_LeadsTo_pre. Always_LeadsTo_post: new equivalences suggested by Misra

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