Property tests and corrections on Mnemonic