Formal Analysis of Non-Malleability for Commitments in EasyCrypt - Anonymous (2022)