Fixed step 1 of DecryptionFactorsVerifier, using isElemOfMw
Cw -> Mw