Verification of the structural alerts for Michael acceptors.